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