From d6e455cc2778c741832bd22b46f9644bbd010ac6 Mon Sep 17 00:00:00 2001
From: "Michael Bradley, Jr" <michaelsbradleyjr@gmail.com>
Date: Thu, 2 Aug 2018 14:33:36 -0500
Subject: [PATCH] don't attempt to toggle history

---
 run.sh | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/run.sh b/run.sh
index ea3666f..9781cb3 100755
--- 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