1 #!/bin/sh
2 
3 files=""
4 dest=""
5 
6 if [ $# -eq 0 ]
7 then
8 	echo 'usage: B file...' 2>&1
9 	exit 1
10 fi
11 
12 if [ "x$DISPLAY" = "x" ]
13 then
14 	sam="/tmp/.sam.$USER"
15 else
16 	if [ "$DISPLAY" = ":0" ]
17 	then
18 		DISPLAY=:0.0
19 	fi
20 	sam="/tmp/.sam.$USER.$DISPLAY"
21 fi
22 
23 if [ ! -p $sam ]
24 then
25 	for i
26 	do
27 		plumb -s B -d edit $i
28 	done
29 else
30 	for i
31 	do
32 		pwd=`pwd`
33 		file=`cleanname -d $pwd $i`
34 		line=`echo $file | sed 's/.*://'`
35 		file=`echo $file | sed 's/:.*//'`
36 		echo "B $file" >>$sam
37 		if [ "x$line" != "x" -a "x$line" != "x$file" ]
38 		then
39 			echo "$line" >> $sam
40 		fi
41 	done
42 fi