From 3c2827901d9b965b3e0716e5e7284fdcd6ce7760 Mon Sep 17 00:00:00 2001 From: rsc Date: Wed, 21 Apr 2004 21:01:52 +0000 Subject: Rename Bwait to E. --- bin/Bwait | 17 ----------------- bin/E | 17 +++++++++++++++++ 2 files changed, 17 insertions(+), 17 deletions(-) delete mode 100755 bin/Bwait create mode 100755 bin/E 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 - diff --git a/bin/E b/bin/E new file mode 100755 index 00000000..80a22ecc --- /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 + -- cgit v1.2.3