From 18b18091594d8db9c43aadfeb7d3c87310294d14 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <paul@geomagical.com>
Date: Tue, 9 May 2023 09:09:45 -0700
Subject: [PATCH] WIP: Comment out history file write in coder.py.

---
 coder.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coder.py b/coder.py
index 552a7f8e7..cee238c2d 100755
--- a/coder.py
+++ b/coder.py
@@ -160,7 +160,7 @@ class Coder:
         else:
             print()
 
-        readline.write_history_file(self.history_file)
+        #readline.write_history_file(self.history_file)
         return inp
 
     def get_last_modified(self):