diff options
| -rwxr-xr-x | bin/Bwait | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/bin/Bwait b/bin/Bwait new file mode 100755 index 00000000..1c6ef96f --- /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 + |