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