diff .bashrc @ 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 9afe2373aaa2
children 1337d2e9e1a6
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() {