From 6597a75845c43d71fb30339043beb89ebf0e1154 Mon Sep 17 00:00:00 2001 From: adam Date: Wed, 8 Feb 2006 12:44:01 +0000 Subject: [PATCH] don't pollute SHELL --- .switch_shell | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.switch_shell b/.switch_shell index f983c09..6d7efb1 100644 --- a/.switch_shell +++ b/.switch_shell @@ -39,7 +39,7 @@ switch_shell_debug () { switch_shell_safely () { # we do this rather than exec() just in case $myshell fails to run. switch_shell_debug "Switching to $myshell safely ..." - if SHELL="$myshell" "$myshell" $myshell_args; then + if "$myshell" $myshell_args; then switch_shell_debug "$myshell exited OK; exiting parent shell." exit else @@ -52,7 +52,7 @@ switch_shell_safely () { switch_shell_dangerously () { switch_shell_debug "Switching to $myshell dangerously ..." - SHELL="$myshell" exec "$myshell" $myshell_args + exec "$myshell" $myshell_args } switch_shell () {