annotate bin/isrunning.sh @ 842:03f9657514e9

while we might not want Octave *that* much, we will never want OCAML
author Jeff Hammel <k0scist@gmail.com>
date Sun, 09 Jul 2017 15:01:16 -0700
parents c24a1b531b7e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
709
c24a1b531b7e move isrunning to a shell script and kill killbyname since there is pkill nowadays
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
1 #!/bin/bash
c24a1b531b7e move isrunning to a shell script and kill killbyname since there is pkill nowadays
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
2
c24a1b531b7e move isrunning to a shell script and kill killbyname since there is pkill nowadays
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
3 # are the given processes running?
c24a1b531b7e move isrunning to a shell script and kill killbyname since there is pkill nowadays
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
4
c24a1b531b7e move isrunning to a shell script and kill killbyname since there is pkill nowadays
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
5 for i in "$@";
c24a1b531b7e move isrunning to a shell script and kill killbyname since there is pkill nowadays
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
6 do
c24a1b531b7e move isrunning to a shell script and kill killbyname since there is pkill nowadays
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
7 ps axwww | grep --colour=auto "$i" | grep --colour=auto -v 'grep';
c24a1b531b7e move isrunning to a shell script and kill killbyname since there is pkill nowadays
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
8 done | sort | uniq