Skip to content

Instantly share code, notes, and snippets.

@vfaronov
Created June 9, 2017 15:26
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save vfaronov/6843c6bc817521bfab7e58fff139c525 to your computer and use it in GitHub Desktop.
Save vfaronov/6843c6bc817521bfab7e58fff139c525 to your computer and use it in GitHub Desktop.
#!/usr/bin/env bash
socket_prefix=/tmp/geany-$USER
socket=$socket_prefix-$RANDOM
desktop=$( xdotool get_desktop )
pid=$( xdotool search --desktop "$desktop" --class Geany getwindowpid )
if [[ $pid ]]; then
candidate=$( ps -p $pid -o args= | grep -Eo "$socket_prefix-[0-9]+" )
if [[ -e $candidate ]]; then
socket=$candidate
fi
fi
xx geany --socket-file="$socket" "$@"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment