Public feed #725341

Unnamed

public text v1 · immutable
Raw Edit
·published 2007-10-04 09:55 UTC
rendered paste body
if [ ! -e $DATOS/modes/$PREFIJO ];
  then echo -n "Error: Mode $PREFIJO does not exist";
       c=$(find $DATOS/modes|wc -l)
       if((c <= 1));
       then echo ".";
       else echo ". Try one of:";
         for i in $DATOS/modes/*;
         do echo "  " $(basename $i);
         done;
       fi
       exit 1;
fi