#!/bin/sh files="" dest="" if [ $# -eq 0 ] then echo 'usage: B file...' 2>&1 exit 1 fi if [ "x$DISPLAY" = "x" ] then sam="/tmp/.sam.$USER" else if [ "$DISPLAY" = ":0" ] then DISPLAY=:0.0 fi sam="/tmp/.sam.$USER.$DISPLAY" fi if [ ! -p $sam ] then pwd="`pwd`" for i do i=`cleanname -d "$pwd" "$i"` plumb -s B -d edit "$i" done else for i do pwd=`pwd` file=`cleanname -d $pwd $i` line=`echo $file | sed 's/.*://'` file=`echo $file | sed 's/:.*//'` echo "B $file" >>$sam if [ "x$line" != "x" -a "x$line" != "x$file" ] then echo "$line" >> $sam fi done fi