2011-03-30 14:14:36 +00:00
|
|
|
#!/bin/rc
|
|
|
|
|
|
2020-12-23 00:44:10 +00:00
|
|
|
rfork e
|
|
|
|
|
|
2011-03-30 14:14:36 +00:00
|
|
|
files=()
|
|
|
|
|
dest=()
|
|
|
|
|
|
|
|
|
|
if(~ $#* 0){
|
|
|
|
|
echo usage: B file ... >[1=2]
|
|
|
|
|
exit usage
|
|
|
|
|
}
|
|
|
|
|
|
2021-02-27 18:35:06 +00:00
|
|
|
if(test -f /mnt/plumb/edit || test -f /mnt/term/mnt/plumb/edit){
|
|
|
|
|
for(i)
|
|
|
|
|
plumb -s B -d edit $i
|
|
|
|
|
exit
|
|
|
|
|
}
|
|
|
|
|
|
2021-06-12 17:20:53 +00:00
|
|
|
echo 'no plumber' >[1=2]
|
