diff options
Diffstat (limited to 'rc/bin/inst/watchfd')
| -rwxr-xr-x | rc/bin/inst/watchfd | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/rc/bin/inst/watchfd b/rc/bin/inst/watchfd deleted file mode 100755 index d836abd8d..000000000 --- a/rc/bin/inst/watchfd +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/rc - -p=`{ps | grep $1 | sed 's/[^ ]* +([^ ]+) .*/\1/' } -while(! ~ $#p 1) { - sleep 1 - p=`{ps | grep $1 | sed 's/[^ ]* +([^ ]+) .*/\1/'} -} -p=$p(1) - -baropt='-w 145,129,445,168' -if(~ $textinst 1) - baropt=-t - -{ - while(test -f /proc/$p/fd) - grep '^ *'^$2^' ' /proc/$p/fd >[2]/dev/null -} | awk '{print $9 " '^$3^'"; fflush("/dev/stdout")}' | aux/statusbar $baropt $4 |
