| commit | 817fe389e3489ee028eef8bc3e23c97c6c702fa0 | [log] [tgz] |
|---|---|---|
| author | rsc <devnull@localhost> | Sun Feb 13 18:31:24 2005 +0000 |
| committer | rsc <devnull@localhost> | Sun Feb 13 18:31:24 2005 +0000 |
| tree | 2da98461ed2aa238794e9b7969dd8108d88ebe42 | |
| parent | b49d0f4b37e01050d1418ea98db653d4c9a43e46 [diff] [blame] |
better editing
diff --git a/bin/ipso b/bin/ipso index 294c574..8c756a0 100755 --- a/bin/ipso +++ b/bin/ipso
@@ -122,7 +122,10 @@ 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