#!/bin/sh files="" dest="" line="" if [ $# -gt 0 ]; then case "$1" in +[0-9]*) line="`echo $1 | sed 's/+/:/'`" shift ;; esac fi if [ $# -eq 0 ] then echo 'usage: B [+line] 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="$i$line" i=`cleanname -d "$pwd" "$i"` plumb -s B -d edit "$i" done else for i do i="$i$line" 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