3 # This makes the user's EXINIT variable set to the 'correct' things.
4 # I don't know what will happen if they also have a .exrc file!
7 # Make sure that user is using a 24 line window!!!
9 if ($1 != "beginner" && $1 != "advanced") then
10 echo Usage: $0 beginner or $0 advanced
16 setenv EXINIT 'se ts=4 wm=8 sw=4'
23 setenv EXINIT "$oexinit"