1 files changed, 34 insertions, 0 deletions
diff --git a/php/readline.php b/php/readline.php
new file mode 100644
index 0000000..28d720d
--- /dev/null
+++ b/php/readline.php
@@ -0,0 +1,34 @@
+<?php
+
+$HISTORY_FILE = "/home/joelm/.mal-history";
+
+function mal_readline($prompt) {
+    global $HISTORY_FILE;
+    static $history_loaded = false;
+
+    // Load the history file
+    if (! $history_loaded) {
+        $history_loaded = true;
+        if ($file = fopen($HISTORY_FILE, "r")) {
+            while (!feof($file)) {
+                $line = fgets($file);
+                if ($line) { readline_add_history($line); }
+            }
+            fclose($file);
+        }
+    }
+
+    $line = readline($prompt);
+    if ($line === false) { return NULL; }
+    readline_add_history($line);
+
+    // Append to the history file
+    if ($file = fopen($HISTORY_FILE, "a")) {
+        fputs($file, $line . "\n");
+        fclose($file);
+    }
+
+    return $line;
+}
+
+?>