diff bin/isrunning.sh @ 709:c24a1b531b7e

move isrunning to a shell script and kill killbyname since there is pkill nowadays
author Jeff Hammel <k0scist@gmail.com>
date Fri, 05 Sep 2014 14:55:11 -0700
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/isrunning.sh	Fri Sep 05 14:55:11 2014 -0700
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+# are the given processes running?
+
+for i in "$@";
+do
+    ps axwww | grep --colour=auto "$i" | grep --colour=auto -v 'grep';
+done | sort | uniq