7 0d5f0a72 2006-07-28 devnull if [ $# -gt 0 ]; then
8 0d5f0a72 2006-07-28 devnull case "$1" in
10 0d5f0a72 2006-07-28 devnull line="`echo $1 | sed 's/+/:/'`"
16 b9b5cea4 2003-10-11 devnull if [ $# -eq 0 ]
18 0d5f0a72 2006-07-28 devnull echo 'usage: B [+line] file...' 2>&1
22 b9b5cea4 2003-10-11 devnull if [ "x$DISPLAY" = "x" ]
24 b9b5cea4 2003-10-11 devnull sam="/tmp/.sam.$USER"
26 669250d1 2003-12-03 devnull if [ "$DISPLAY" = ":0" ]
28 669250d1 2003-12-03 devnull DISPLAY=:0.0
30 b9b5cea4 2003-10-11 devnull sam="/tmp/.sam.$USER.$DISPLAY"
33 b9b5cea4 2003-10-11 devnull if [ ! -p $sam ]
35 88f2c3b0 2004-04-19 devnull pwd="`pwd`"
38 0d5f0a72 2006-07-28 devnull i="$i$line"
39 e18c1340 2004-04-23 devnull i=`cleanname -d "$pwd" "$i"`
40 e18c1340 2004-04-23 devnull plumb -s B -d edit "$i"
45 0d5f0a72 2006-07-28 devnull i="$i$line"
46 dbd7b9a9 2003-11-23 devnull pwd=`pwd`
47 dbd7b9a9 2003-11-23 devnull file=`cleanname -d $pwd $i`
48 e89321a5 2003-12-02 devnull line=`echo $file | sed 's/.*://'`
49 e89321a5 2003-12-02 devnull file=`echo $file | sed 's/:.*//'`
50 dbd7b9a9 2003-11-23 devnull echo "B $file" >>$sam
51 e89321a5 2003-12-02 devnull if [ "x$line" != "x" -a "x$line" != "x$file" ]
53 e89321a5 2003-12-02 devnull echo "$line" >> $sam