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 	pwd="`pwd`"
26 	for i
27 	do
28 		plumb -s B -d edit $i
29 	done
30 else
31 	for i
32 	do
33 		pwd=`pwd`
34 		file=`cleanname -d $pwd $i`
35 		line=`echo $file | sed 's/.*://'`
36 		file=`echo $file | sed 's/:.*//'`
37 		echo "B $file" >>$sam
38 		if [ "x$line" != "x" -a "x$line" != "x$file" ]
39 		then
40 			echo "$line" >> $sam
41 		fi
42 	done
43 fi