| commit | 3c2827901d9b965b3e0716e5e7284fdcd6ce7760 | [log] [tgz] |
|---|---|---|
| author | rsc <devnull@localhost> | Wed Apr 21 21:01:52 2004 +0000 |
| committer | rsc <devnull@localhost> | Wed Apr 21 21:01:52 2004 +0000 |
| tree | 065872d6fbe3a4a4b40a7e1e012825cd5993da7e | |
| parent | f21f37f219965af3980ba50bac429658d19615d1 [diff] [blame] |
Rename Bwait to E.
diff --git a/bin/E b/bin/E new file mode 100755 index 0000000..80a22ec --- /dev/null +++ b/bin/E
@@ -0,0 +1,17 @@ +#!/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 sleep 1 +do + nstat=`ls -l $1` + if [ "x$stat" != "x$nstat" ] + then + exit + fi +done +