tRename Bwait to E. - plan9port - [fork] Plan 9 from user space
HTML git clone git://src.adamsgaard.dk/plan9port
DIR Log
DIR Files
DIR Refs
DIR README
DIR LICENSE
---
DIR commit 3c2827901d9b965b3e0716e5e7284fdcd6ce7760
DIR parent f21f37f219965af3980ba50bac429658d19615d1
HTML Author: rsc <devnull@localhost>
Date: Wed, 21 Apr 2004 21:01:52 +0000
Rename Bwait to E.
Diffstat:
D bin/Bwait | 17 -----------------
A bin/E | 17 +++++++++++++++++
2 files changed, 17 insertions(+), 17 deletions(-)
---
DIR diff --git a/bin/Bwait b/bin/Bwait
t@@ -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
-
DIR diff --git a/bin/E b/bin/E
t@@ -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
+