# HG changeset patch # User Edho Arief # Date 1320643806 -25200 # Node ID f74212d79fcb8d6771e217bdacf43238309191b6 # Parent b6b9a47de0163d13808c00254f074757094c828c Ensures we're running tcsh. diff -r b6b9a47de016 -r f74212d79fcb rc/tcsh --- a/rc/tcsh Mon Nov 07 12:26:10 2011 +0700 +++ b/rc/tcsh Mon Nov 07 12:30:06 2011 +0700 @@ -1,5 +1,10 @@ #!/usr/bin/env tcsh +# Ensures it's tcsh +if ( ! $?tcsh ) then + exit +endif + # Ensures this script is running on terminal. Otherwise exit immediately. if ( ! $?prompt ) then exit