annotate bin/isrunning.sh @ 811:0fffb3560641

not sure if we need this but we will keep it for now
author Jeff Hammel <k0scist@gmail.com>
date Fri, 28 Oct 2016 18:46:46 -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