- echo
- echo " ---------------------------------------"
- echo " Set LATEX_COMPILER environment variable"
- echo " ---------------------------------------"
- echo
- read latexCompilerVariable
+ while [ ! -f "$latexCompilerVariable" ]
+ do
+ echo
+ echo " ---------------------------------------"
+ echo " Set LATEX_COMPILER environment variable"
+ echo " ---------------------------------------"
+ echo
+ read latexCompilerVariable
+ if [ ! -e "$latexCompilerVariable" ]
+ then
+ echo $latexCompilerVariable is NOT a valid file
+ fi
+ done