3 b9b5cea4 2003-10-11 devnull if [ $# -eq 0 ]
5 b9b5cea4 2003-10-11 devnull echo 'usage: B cmd...' 2>&1
9 b9b5cea4 2003-10-11 devnull if [ "x$DISPLAY" = "x" ]
11 b9b5cea4 2003-10-11 devnull sam="/tmp/.sam.$USER"
13 b9b5cea4 2003-10-11 devnull sam="/tmp/.sam.$USER.$DISPLAY"
16 b9b5cea4 2003-10-11 devnull if [ ! -p $sam ]
18 b9b5cea4 2003-10-11 devnull echo could not find sam 2>&1
23 dbd7b9a9 2003-11-23 devnull pwd=`pwd`
24 dbd7b9a9 2003-11-23 devnull file=`cleanname -d $pwd $i`
25 e89321a5 2003-12-02 devnull line=`echo $file | sed 's/.*://'`
26 e89321a5 2003-12-02 devnull file=`echo $file | sed 's/:.*//'`
27 dbd7b9a9 2003-11-23 devnull echo "B $file" >>$sam
28 e89321a5 2003-12-02 devnull if [ "x$line" != "x" -a "x$line" != "x$file" ]
30 e89321a5 2003-12-02 devnull echo "$line" >> $sam