| tE - plan9port - [fork] Plan 9 from user space | |
| git clone git://src.adamsgaard.dk/plan9port | |
| Log | |
| Files | |
| Refs | |
| README | |
| LICENSE | |
| --- | |
| tE (264B) | |
| --- | |
| 1 #!/bin/sh | |
| 2 | |
| 3 # run B but then wait for the file to change. | |
| 4 # great to set as $EDITOR. | |
| 5 # the notion of a file changing is a little weak. | |
| 6 | |
| 7 stat=`ls -l $1` | |
| 8 B "$@" | |
| 9 echo editing "$@" | |
| 10 while sleep 1 | |
| 11 do | |
| 12 nstat=`ls -l $1` | |
| 13 if [ "x$stat" != "x$nstat" ] | |
| 14 then | |
| 15 exit | |
| 16 fi | |
| 17 done | |
| 18 |