7 echo usage: B file ... >[1=2]
16 files = ( $files `{cleanname `{pwd}^/$i} )
20 if(test -f /mnt/plumb/edit || test -f /mnt/term/mnt/plumb/edit){
21 plumb -s B -d edit $files
27 if(test -f /mnt/term/srv/sam.$user) dest = /mnt/term/srv/sam.$user
28 if not if(test -f /srv/sam.$user) dest = /srv/sam.$user
30 echo B: can''''t find sam server file >[1=2]
37 echo $i | sed 's/^/B /;s/:([0-9]+)$/\n\1/g' >> $dest
39 echo B $files >> $dest