Rename Bwait to E.
This commit is contained in:
parent
f21f37f219
commit
3c2827901d
1 changed files with 1 additions and 1 deletions
17
bin/E
Executable file
17
bin/E
Executable file
|
|
@ -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
|
||||
|
||||
Loading…
Add table
Add a link
Reference in a new issue