echo If you get errors, run echo \$SHELL to make sure you are in a bash shell.
echo You can type, bash, if you are not in a bash shell.
echo I recommend setting bash as your default shell, go here:
echo "https://asw.iastate.edu" \(Manage Net-\>ID Veiw/Edit login shell-\> bash\)

source /remote/Xilinx/12.4/settings64.sh 
export PATH=$PATH:/remote/Modelsim/6.5c/modeltech/linux_x86_64/
export LM_LICENSE_FILE=1717@io.ece.iastate.edu:27006@io.ece.iastate.edu

mesg y