changeset 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 fa6c6f64e12b
children 7f910ce4da04
files .bashrc bin/isrunning.sh
diffstat 2 files changed, 8 insertions(+), 18 deletions(-) [+]
line wrap: on
line diff
--- a/.bashrc	Wed Sep 03 18:45:04 2014 -0700
+++ b/.bashrc	Fri Sep 05 14:55:11 2014 -0700
@@ -318,24 +318,6 @@
     emacs +`wc -l "$FILE"` $@
 }
 
-
-### functions for processes
-
-isrunning() {
-    # is a process running? (by name)
-    # see also: talos for a better version
-    for i in "$@"
-    do
-	ps axwww  | grep "$i" | grep -v 'grep'
-    done | sort | uniq
-
-}
-
-killbyname() {
-    # kill a process by name
-    kill `isrunning "$@" | awk '{ print $1 }' | onelineit.py`
-}
-
 ###
 
 buffer() {
--- /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