diff options
author | Mark Allen <[email protected]> | 2017-10-23 15:33:40 -0500 |
---|---|---|
committer | GitHub <[email protected]> | 2017-10-23 15:33:40 -0500 |
commit | 8b5cc112d5b58bb9a20fa93a74564ef2c9bfb273 (patch) | |
tree | 464d6a8fbcbb3642b5380c4ab6e4f36f38f3645f | |
parent | a4f78a4ca4d7d568b328c0fff58c2f7295595a2e (diff) | |
parent | 4986ebe61e8a0f3aafacee2a027ea89feaed1bf7 (diff) | |
download | kerl-8b5cc112d5b58bb9a20fa93a74564ef2c9bfb273.tar.gz kerl-8b5cc112d5b58bb9a20fa93a74564ef2c9bfb273.tar.bz2 kerl-8b5cc112d5b58bb9a20fa93a74564ef2c9bfb273.zip |
Merge pull request #214 from kerl/shell_history_otp_20
Add automatic shell history environment flag for OTP >= 20
-rwxr-xr-x | kerl | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -760,6 +760,11 @@ do_install() # credits to virtualenv kerl_deactivate() { + if [ -n "\$_KERL_SAVED_ERL_AFLAGS" ]; then + ERL_AFLAGS="\$_KERL_SAVED_ERL_AFLAGS" + export ERL_AFLAGS + unset _KERL_SAVED_ERL_AFLAGS + fi if [ -n "\$_KERL_PATH_REMOVABLE" ]; then PATH=\`echo \${PATH} | sed -e "s#\${_KERL_PATH_REMOVABLE}:##"\` export PATH @@ -806,6 +811,12 @@ REBAR_PLT_DIR="$absdir" export REBAR_PLT_DIR _KERL_ACTIVE_DIR="$absdir" export _KERL_ACTIVE_DIR +# https://twitter.com/mononcqc/status/877544929496629248 +export _KERL_SAVED_ERL_AFLAGS=" \$ERL_AFLAGS" +kernel_history=\$(echo "\$ERL_AFLAGS" | grep "kernel shell_history") +if [ -z "\$kernel_history" ]; then + export ERL_AFLAGS="-kernel shell_history enabled \$ERL_AFLAGS" +fi if [ -f "$KERL_CONFIG" ]; then . "$KERL_CONFIG"; fi if [ -n "\$KERL_ENABLE_PROMPT" ]; then _KERL_SAVED_PS1="\$PS1" @@ -937,6 +948,7 @@ endif rehash ACTIVATE_CSH + if [ -n "$KERL_BUILD_DOCS" ]; then DOC_DIR="$KERL_BUILD_DIR/$1/release_$rel/lib/erlang" if [ -d "$DOC_DIR" ]; then |