B (741B)
1 #!/bin/sh 2 3 files="" 4 dest="" 5 6 line="" 7 if [ $# -gt 0 ]; then 8 case "$1" in 9 +[0-9]*) 10 line="`echo $1 | sed 's/+/:/'`" 11 shift 12 ;; 13 esac 14 fi 15 16 if [ $# -eq 0 ] 17 then 18 echo 'usage: B [+line] file...' 2>&1 19 exit 1 20 fi 21 22 if [ "x$DISPLAY" = "x" ] 23 then 24 sam="/tmp/.sam.$USER" 25 else 26 if [ "$DISPLAY" = ":0" ] 27 then 28 DISPLAY=:0.0 29 fi 30 sam="/tmp/.sam.$USER.$DISPLAY" 31 fi 32 33 if [ ! -p $sam ] 34 then 35 pwd="`pwd`" 36 for i 37 do 38 i="$i$line" 39 i=`cleanname -d "$pwd" "$i"` 40 plumb -s B -d edit "$i" 41 done 42 else 43 for i 44 do 45 i="$i$line" 46 pwd=`pwd` 47 file=`cleanname -d $pwd $i` 48 line=`echo $file | sed 's/.*://'` 49 file=`echo $file | sed 's/:.*//'` 50 echo "B $file" >>$sam 51 if [ "x$line" != "x" -a "x$line" != "x$file" ] 52 then 53 echo "$line" >> $sam 54 fi 55 done 56 fi