don't attempt to toggle history

2018-08-02 14:33:36 -05:00 · 2018-08-02 14:33:36 -05:00 · d6e455cc27
parent 94d4493a78
commit d6e455cc27
1 changed files with 0 additions and 4 deletions
--- a/run.sh
+++ b/run.sh
@ -59,11 +59,7 @@ run_embark () {
        *e*) oldopts="set -e" ;;
        *) oldopts="set +e" ;;
    esac
-    if [[ $(shopt -po history) = "set -o history" ]]; then
-        oldopts="$oldopts; set -o history"
-    fi
    set +e
-    set +o history

    check_bash_version () {
        if [[ $BASH_VERSINFO -lt 4 ]]; then