|
||||
File indexing completed on 2024-04-06 11:57:50
0001 #!/bin/bash 0002 first=$1 0003 last=$2 0004 arg1='' 0005 arg2='' 0006 if [ -z $first ]; then 0007 echo 0008 else 0009 arg1="-f $first" 0010 fi 0011 if [ -z $last ]; then 0012 echo 0013 else 0014 arg2="-l $last" 0015 fi 0016 psdir="`whoami`_`date +%d%m%y%H%M`" 0017 mkdir $psdir 0018 export MEPSDIR=${PWD}/$psdir; 0019 echo 'postscript files will be written in ' $MEPSDIR 0020 runGUI -d $arg1 $arg2 0021 ls $MEPSDIR 0022
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.2.1 LXR engine. The LXR team |