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