annotate bin/isrunning.sh @ 901:d01703658029

gitconfig
author Jeff Hammel <k0scist@gmail.com>
date Thu, 09 Feb 2023 14:16:11 -0800
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