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