diff options
author | rsc <devnull@localhost> | 2004-04-21 21:01:52 +0000 |
---|---|---|
committer | rsc <devnull@localhost> | 2004-04-21 21:01:52 +0000 |
commit | 3c2827901d9b965b3e0716e5e7284fdcd6ce7760 (patch) | |
tree | 065872d6fbe3a4a4b40a7e1e012825cd5993da7e /bin/Bwait | |
parent | f21f37f219965af3980ba50bac429658d19615d1 (diff) | |
download | plan9port-3c2827901d9b965b3e0716e5e7284fdcd6ce7760.tar.gz plan9port-3c2827901d9b965b3e0716e5e7284fdcd6ce7760.tar.bz2 plan9port-3c2827901d9b965b3e0716e5e7284fdcd6ce7760.zip |
Rename Bwait to E.
Diffstat (limited to 'bin/Bwait')
-rwxr-xr-x | bin/Bwait | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/bin/Bwait b/bin/Bwait deleted file mode 100755 index 00429609..00000000 --- a/bin/Bwait +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -# run B but then wait for the file to change. -# great to set as $EDITOR. -# the notion of a file changing is a little weak. - -stat=`ls -l $1` -B "$@" -while true -do - nstat=`ls -l $1` - if [ "x$stat" != "x$nstat" ] - then - exit - fi -done - |