# HG changeset patch
# User Edho Arief <edho@myconan.net>
# Date 1320309663 -25200
# Node ID 443e0004a708fce7622b756bb4f197bfd4c41277
# Parent  a6fd1f0784f5aac0d871d774c3b599396fabe395
[tcsh] Ensures interactive terminal.

diff -r a6fd1f0784f5 -r 443e0004a708 rc/tcsh
--- a/rc/tcsh	Sun Oct 02 07:24:37 2011 +0700
+++ b/rc/tcsh	Thu Nov 03 15:41:03 2011 +0700
@@ -1,4 +1,10 @@
 #!/usr/bin/env tcsh
+
+# Ensures this script is running on terminal. Otherwise exit immediately.
+if ( ! $?prompt ) then
+  exit
+endif
+
 [ -e "${HOME}/.ecos_tcsh.before" ] && source "${HOME}/.ecos_tcsh.before"
 umask 22
 limit coredumpsize 0