annotate bin/isrunning.sh @ 848:a3ee050ae568

[documentation] reference links
author Jeff Hammel <k0scist@gmail.com>
date Tue, 17 Oct 2017 12:05:19 -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