Skip to content

Instantly share code, notes, and snippets.

@jgraup
Created December 21, 2013 06:42
Show Gist options
  • Save jgraup/8066192 to your computer and use it in GitHub Desktop.
Save jgraup/8066192 to your computer and use it in GitHub Desktop.
.command | .tool
#!/bin/sh
/my.app -arguments
kill -9 $(ps -p $(ps -p $PPID -o ppid=) -o ppid=)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment