Add proper support for CSH shell

Author: Eliot Eshelman

usr/libexec/microway/interactive_batch_script

@@ -63,5 +63,9 @@ if [[ ! -r "${SCREEN_RC}" ]]; then
 fi
 
 
-srun --pty --nodes=1 /usr/bin/screen -c "${SCREEN_RC}" -s /bin/bash -Dm -S "session$SLURM_JOB_ID"
+if [[ -n "${SHELL}" ]]; then
+    srun --pty --nodes=1 /usr/bin/screen -c "${SCREEN_RC}" -s "${SHELL}" -Dm -S "session$SLURM_JOB_ID"
+else
+    srun --pty --nodes=1 /usr/bin/screen -c "${SCREEN_RC}" -s /bin/bash -Dm -S "session$SLURM_JOB_ID"
+fi
 

usr/libexec/microway/interactive_connection_script

@@ -96,7 +96,11 @@ fi
 
 # Start up a shell session for the user
 screen -S "$SCREENSESSION" -X setenv SPLASH_RCFILE /usr/libexec/microway/interactive_splash_rcfile 
-screen -S "$SCREENSESSION" -X screen -t "bash" 1 bash -i -l
+if [[ "${SHELL}" == "/bin/csh" ]]; then
+    screen -S "$SCREENSESSION" -X screen -t "csh" 1 csh -l
+else
+    screen -S "$SCREENSESSION" -X screen -t "bash" 1 bash -i -l
+fi
 
 # Remove the META tab, which has outlived its usefulness
 screen -p0 -S "$SCREENSESSION" -X kill