cirno/plan9port
1
0
Fork 0
mirror of https://github.com/9fans/plan9port.git synced 2025-01-12 11:10:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

better editing

Browse source
This commit is contained in:
rsc 2005-02-13 18:31:24 +00:00
parent b49d0f4b37
commit 817fe389e3
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
bin/ipso
View file

@ -122,7 +122,10 @@ for(i in $files){
sleep 2; date > _timestamp # so we can find which files have been edited. sleep 2; date > _timestamp # so we can find which files have been edited.
# edit the files # 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 ){ if(~ $flush yes ){
echo flushing old keys echo flushing old keys
echo delkey | 9p write factotum/ctl echo delkey | 9p write factotum/ctl