6 b9b5cea4 2003-10-11 devnull if [ $# -eq 0 ]
8 669250d1 2003-12-03 devnull echo 'usage: B file...' 2>&1
12 b9b5cea4 2003-10-11 devnull if [ "x$DISPLAY" = "x" ]
14 b9b5cea4 2003-10-11 devnull sam="/tmp/.sam.$USER"
16 669250d1 2003-12-03 devnull if [ "$DISPLAY" = ":0" ]
18 669250d1 2003-12-03 devnull DISPLAY=:0.0
20 b9b5cea4 2003-10-11 devnull sam="/tmp/.sam.$USER.$DISPLAY"
23 b9b5cea4 2003-10-11 devnull if [ ! -p $sam ]
27 f063dad9 2004-02-29 devnull plumb -s B -d edit $i
32 dbd7b9a9 2003-11-23 devnull pwd=`pwd`
33 dbd7b9a9 2003-11-23 devnull file=`cleanname -d $pwd $i`
34 e89321a5 2003-12-02 devnull line=`echo $file | sed 's/.*://'`
35 e89321a5 2003-12-02 devnull file=`echo $file | sed 's/:.*//'`
36 dbd7b9a9 2003-11-23 devnull echo "B $file" >>$sam
37 e89321a5 2003-12-02 devnull if [ "x$line" != "x" -a "x$line" != "x$file" ]
39 e89321a5 2003-12-02 devnull echo "$line" >> $sam