| commit | 93fb47050c80d20d668035c7d1b89d610c1aa7d8 | [log] [tgz] |
|---|---|---|
| author | rsc <devnull@localhost> | Sat Oct 11 03:58:19 2003 +0000 |
| committer | rsc <devnull@localhost> | Sat Oct 11 03:58:19 2003 +0000 |
| tree | 3718115c811b69f96d69162a6d7d29b4787e8ac8 | |
| parent | b9b5cea4eda1c011cfc2e18c8b89987d4298cb7c [diff] [blame] |
B then wait.
diff --git a/bin/Bwait b/bin/Bwait new file mode 100755 index 0000000..1c6ef96 --- /dev/null +++ b/bin/Bwait
@@ -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 true +do + nstat=`ls -l $1` + if [ "$stat" eq "$nstat" ] + then + exit + fi +done +