# HG changeset patch # User Edho Arief # Date 1320309797 -25200 # Node ID ebfa844d2ef8b7bc0048dc731c455c1a65e48564 # Parent 443e0004a708fce7622b756bb4f197bfd4c41277 [bash] Also ensures interactive terminal. diff -r 443e0004a708 -r ebfa844d2ef8 rc/bash --- 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