From 3c2827901d9b965b3e0716e5e7284fdcd6ce7760 Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Wed, 21 Apr 2004 21:01:52 +0000
Subject: Rename Bwait to E.

---
 bin/E | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 bin/E

(limited to 'bin/E')

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