annotate bin/isrunning.sh @ 748:b68cd77be145

remove linux-specific
author Jeff Hammel <k0scist@gmail.com>
date Tue, 30 Jun 2015 15:19:56 -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