if [ -n "$JEDITERM_USER_RCFILE" ]
then
source $JEDITERM_USER_RCFILE
+ unset JEDITERM_USER_RCFILE
fi
if [ -f "$HOME/.zshrc" ]; then
if [ -n "$JEDITERM_SOURCE" ]
then
source $JEDITERM_SOURCE
+ unset JEDITERM_SOURCE
fi
\ No newline at end of file
if test -n "$JEDITERM_USER_RCFILE"
. $JEDITERM_USER_RCFILE
+ set -e JEDITERM_USER_RCFILE
end
if test -n "$JEDITERM_SOURCE"
. $JEDITERM_SOURCE
+ set -e JEDITERM_SOURCE
end
\ No newline at end of file
if [ -n $LOGIN_SHELL ]; then
load_login_configs
+ unset LOGIN_SHELL
fi
load_interactive_configs
if [ -n "$JEDITERM_USER_RCFILE" ]
then
source $JEDITERM_USER_RCFILE
+ unset JEDITERM_USER_RCFILE
fi
if [ -n "$JEDITERM_SOURCE" ]
then
source $JEDITERM_SOURCE
+ unset JEDITERM_SOURCE
fi