(re)enable history library

pull/1/head
Raphael 2019-01-10 00:01:14 +01:00 committed by GitHub
parent 0e1cda99ee
commit be472f61f3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions

View File

@ -63,6 +63,7 @@ elif [[ $option == 2 ]]; then
echo "[+] Set HISTFILESIZE & HISTSIZE to 0"
set +o history
echo "[+] Disabled history library"
echo
echo "Permenently disabled bash log."
@ -84,7 +85,8 @@ elif [[ $option == 3 ]]; then
export HISTSIZE=50000
echo "[+] Restore HISTFILESIZE & HISTSIZE default values."
# set +o history # Undo this
set -o history
echo "[+] Enabled history library"
echo
echo "Permenently enabled bash log."