diff rc/bash @ 242:ebfa844d2ef8

[bash] Also ensures interactive terminal.
author Edho Arief <edho@myconan.net>
date Thu, 03 Nov 2011 15:43:17 +0700
parents 5dcbf6ab0109
children 3d57990fe9d1
line wrap: on
line diff
--- a/rc/bash	Thu Nov 03 15:41:03 2011 +0700
+++ b/rc/bash	Thu Nov 03 15:43:17 2011 +0700
@@ -1,5 +1,10 @@
 #!/usr/bin/env bash
 
+case "${-}" in
+  *i*) ;;
+  *) return;;
+esac
+
 if [ "${ECOS_BASH_LOADED}" != "yes" ]; then
   ECOS_BASH_LOADED="yes"
 else