diff options
| author | glenda <glenda@cirno.localdomain> | 2015-08-25 09:35:48 +0000 |
|---|---|---|
| committer | glenda <glenda@cirno.localdomain> | 2015-08-25 09:35:48 +0000 |
| commit | a284b5709106663cffc04dbee6318a780071ef79 (patch) | |
| tree | 8cb91f812ef921125a48e5498642be1338630657 | |
| parent | c4fdc6bfdb2211e13643d5fba75edf437c122eef (diff) | |
| parent | 029f07292b6b2e4c6409ae7fd365808b0ed5f68f (diff) | |
| download | plan9front-a284b5709106663cffc04dbee6318a780071ef79.tar.xz | |
merge
| -rwxr-xr-x | rc/bin/E | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/rc/bin/E b/rc/bin/E new file mode 100755 index 000000000..e91d4f6a2 --- /dev/null +++ b/rc/bin/E @@ -0,0 +1,16 @@ +#!/bin/rc +# E file - B file, wait until it changes, exit +rfork e +if (! ~ $#* 1) { + echo usage: $0 file >[1=2] + exit usage +} +if (! test -e $1) { + echo $0: $1: no such file >[1=2] + exit no-file +} +otm = `{mtime $1 | awk '{print $1}'} +B $1 +while (~ $otm `{mtime $1 | awk '{print $1}'}) + sleep 1 +exit '' |
