diff options
author | rsc <devnull@localhost> | 2005-02-13 18:31:24 +0000 |
---|---|---|
committer | rsc <devnull@localhost> | 2005-02-13 18:31:24 +0000 |
commit | 817fe389e3489ee028eef8bc3e23c97c6c702fa0 (patch) | |
tree | 2da98461ed2aa238794e9b7969dd8108d88ebe42 /bin | |
parent | b49d0f4b37e01050d1418ea98db653d4c9a43e46 (diff) | |
download | plan9port-817fe389e3489ee028eef8bc3e23c97c6c702fa0.tar.gz plan9port-817fe389e3489ee028eef8bc3e23c97c6c702fa0.tar.bz2 plan9port-817fe389e3489ee028eef8bc3e23c97c6c702fa0.zip |
better editing
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/ipso | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -122,7 +122,10 @@ for(i in $files){ sleep 2; date > _timestamp # so we can find which files have been edited. # edit the files -if(~ $edit yes) E `{for(i in $files) basename $i} +if(~ $edit yes){ + B `{for(i in $files) basename $i} + readcons 'type enter when finished editing' >/dev/null +} if(~ $flush yes ){ echo flushing old keys echo delkey | 9p write factotum/ctl |