source: trunk/util/arb_fig

#!/bin/bash

XFIG_OPTIONS=-autorefresh

editlines() {
    IFS=" "
    read FIG
    while [ ! -z "$FIG" ]; do
        # echo "FIG='$FIG'"
        xfig ${XFIG_OPTIONS} $FIG &
        read FIG
    done
}

expandfig() {
    local FNAME=${1%.fig}.fig
    find $ARBHOME/lib/pictures -name "$FNAME"
}

expandfigs() {
    expandfig $1
    shift
    if [ ! -z "$1" ]; then
        expandfigs $*
    fi
}


if [ -z "$ARBHOME" ]; then
    echo '$ARBHOME not set'
else
    if [ -z "$1" ]; then
        echo "Usage: arb_fig [xxx[.fig]]+"
        echo "Edit all given figs using xfig"
        echo "If a fig occurs multiple times, all get edited"
    else
        expandfigs $* | editlines
        FIG=`find $ARBHOME/lib/pictures -name "$FNAME"`
    fi
fi