Skip to content

Instantly share code, notes, and snippets.

@jorendorff
Created January 17, 2017 22:43
Show Gist options
  • Save jorendorff/a5a1f07c7dc76ea0d9afccd26af14a03 to your computer and use it in GitHub Desktop.
Save jorendorff/a5a1f07c7dc76ea0d9afccd26af14a03 to your computer and use it in GitHub Desktop.
# credits to virtualenv
kerl_deactivate()
{
if [ -n "$_KERL_PATH_REMOVABLE" ]; then
PATH=${PATH//${_KERL_PATH_REMOVABLE}:/}
export PATH
unset _KERL_PATH_REMOVABLE
fi
if [ -n "$_KERL_MANPATH_REMOVABLE" ]; then
MANPATH=${MANPATH//${_KERL_MANPATH_REMOVABLE}:/}
export MANPATH
unset _KERL_MANPATH_REMOVABLE
fi
if [ -n "$_KERL_SAVED_REBAR_PLT_DIR" ]; then
REBAR_PLT_DIR="$_KERL_SAVED_REBAR_PLT_DIR"
export REBAR_PLT_DIR
unset _KERL_SAVED_REBAR_PLT_DIR
fi
if [ -n "$_KERL_ACTIVE_DIR" ]; then
unset _KERL_ACTIVE_DIR
fi
if [ -n "$_KERL_SAVED_PS1" ]; then
PS1="$_KERL_SAVED_PS1"
export PS1
unset _KERL_SAVED_PS1
fi
if [ -n "$BASH" -o -n "$ZSH_VERSION" ]; then
hash -r
fi
if [ ! "$1" = "nondestructive" ]; then
unset -f kerl_deactivate
fi
unset KERL_ENABLE_PROMPT
unset KERL_PROMPT_FORMAT
}
kerl_deactivate nondestructive
_KERL_SAVED_REBAR_PLT_DIR="$REBAR_PLT_DIR"
export _KERL_SAVED_REBAR_PLT_DIR
_KERL_PATH_REMOVABLE="/home/jorendorff/dev/Rustler/kerl_env/bin"
PATH="${_KERL_PATH_REMOVABLE}:$PATH"
export PATH _KERL_PATH_REMOVABLE
_KERL_MANPATH_REMOVABLE="/home/jorendorff/dev/Rustler/kerl_env/lib/erlang/man:/home/jorendorff/dev/Rustler/kerl_env/man"
MANPATH="${_KERL_MANPATH_REMOVABLE}:$MANPATH"
export MANPATH _KERL_MANPATH_REMOVABLE
REBAR_PLT_DIR="/home/jorendorff/dev/Rustler/kerl_env"
export REBAR_PLT_DIR
_KERL_ACTIVE_DIR="/home/jorendorff/dev/Rustler/kerl_env"
export _KERL_ACTIVE_DIR
if [ -f "/home/jorendorff/.kerlrc" ]; then . "/home/jorendorff/.kerlrc"; fi
if [ -n "$KERL_ENABLE_PROMPT" ]; then
_KERL_SAVED_PS1="$PS1"
export _KERL_SAVED_PS1
if [ -n "$KERL_PROMPT_FORMAT" ]; then
FRMT="$KERL_PROMPT_FORMAT"
else
FRMT="(%BUILDNAME%)"
fi
PRMPT=$(echo "$FRMT" | sed 's^%RELEASE%^19.1^;s^%BUILDNAME%^19.1^')
PS1="$PRMPT$PS1"
export PS1
fi
if [ -n "$BASH" -o -n "$ZSH_VERSION" ]; then
hash -r
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment