Persist input history

Fixes #73.

package.json

@@ -1,6 +1,6 @@
 {
     "name": "fwdekker.com",
-    "version": "1.10.0",
+    "version": "1.11.0",
     "description": "The source code of [my personal website](https://fwdekker.com/).",
     "author": "Felix W. Dekker",
     "repository": {

src/main/js/Persistence.ts

@@ -2,47 +2,13 @@ import * as Cookies from "js-cookie";
 import {Environment} from "./Environment";
 import {Directory, FileSystem, Node} from "./FileSystem";
 import {UserList} from "./UserList";
+import {InputHistory} from "./Terminal";
 
 
 /**
  * Manages persistence of state.
  */
 export class Persistence {
-    /**
-     * Deserializes a file system from persistent storage, or returns the default file system if the deserialization
-     * failed.
-     */
-    static getFileSystem(): FileSystem {
-        const filesString = Cookies.get("files");
-
-        let files: Directory | undefined = undefined;
-        if (filesString !== undefined) {
-            try {
-                const parsedFiles = Node.deserialize(filesString);
-                if (parsedFiles instanceof Directory)
-                    files = parsedFiles;
-                else
-                    console.warn("`files` cookie contains non-directory.");
-            } catch (error) {
-                console.warn("Failed to deserialize `files` cookie.", error);
-            }
-        }
-
-        return new FileSystem(files);
-    }
-
-    /**
-     * Persists the given file system.
-     *
-     * @param fileSystem the file system to persist
-     */
-    static setFileSystem(fileSystem: FileSystem) {
-        Cookies.set("files", fileSystem.root, {
-            "expires": new Date(new Date().setFullYear(new Date().getFullYear() + 25)),
-            "path": "/"
-        });
-    }
-
     /**
      * Deserializes an environment from persistent storage, or returns the default environment if the deserialization
      * failed.
@@ -86,16 +52,70 @@ export class Persistence {
      *
      * @param environment the environment to persist
      */
-    static setEnvironment(environment: Environment) {
+    static setEnvironment(environment: Environment): void {
         Cookies.set("env", environment.variables, {"path": "/"});
     }
 
+    /**
+     * Deserializes a file system from persistent storage, or returns the default file system if the deserialization
+     * failed.
+     */
+    static getFileSystem(): FileSystem {
+        const filesString = Cookies.get("files");
+        if (filesString !== undefined) {
+            try {
+                const parsedFiles = Node.deserialize(filesString);
+                if (parsedFiles instanceof Directory)
+                    return new FileSystem(parsedFiles);
+                else
+                    console.warn("`files` cookie contains non-directory.");
+            } catch (error) {
+                console.warn("Failed to deserialize `files` cookie.", error);
+            }
+        }
+
+        return new FileSystem();
+    }
+
+    /**
+     * Persists the given file system.
+     *
+     * @param fileSystem the file system to persist
+     */
+    static setFileSystem(fileSystem: FileSystem): void {
+        Cookies.set("files", fileSystem.root, {
+            "expires": new Date(new Date().setFullYear(new Date().getFullYear() + 25)),
+            "path": "/"
+        });
+    }
+
+    /**
+     * Deserializes a history from persistent storage, or returns the default history if the deserialization failed.
+     */
+    static getHistory(): InputHistory {
+        try {
+            return Object.assign(new InputHistory(), JSON.parse(Cookies.get("history") ?? "{}"));
+        } catch (error) {
+            console.warn("Failed to deserialize `history` cookie.", error);
+            return new InputHistory();
+        }
+    }
+
+    /**
+     * Persists the given history.
+     *
+     * @param history the history to persist
+     */
+    static setHistory(history: InputHistory): void {
+        Cookies.set("history", history, {"path": "/"});
+    }
+
     /**
      * Persists the "power off" setting.
      *
      * @param value the value to persist for the "power off" setting
      */
-    static setPoweroff(value: boolean) {
+    static setPoweroff(value: boolean): void {
         Cookies.set("poweroff", `${value}`, {
             "expires": new Date(new Date().setSeconds(new Date().getSeconds() + 30)),
             "path": "/"
@@ -105,9 +125,10 @@ export class Persistence {
     /**
      * Removes all persistent storage.
      */
-    static reset() {
-        Cookies.remove("files");
+    static reset(): void {
         Cookies.remove("env");
+        Cookies.remove("files");
+        Cookies.remove("history");
         Cookies.remove("poweroff");
     }
 }

src/main/js/Shell.ts

@@ -189,8 +189,9 @@ export class Shell {
      * @see Persistence
      */
     private saveState() {
-        Persistence.setFileSystem(this.fileSystem);
+        Persistence.setHistory(this.inputHistory);
         Persistence.setEnvironment(this.environment);
+        Persistence.setFileSystem(this.fileSystem);
     }
 }
 

src/main/js/Terminal.ts

@@ -1,3 +1,4 @@
+import {Persistence} from "./Persistence";
 import {escapeHtml, moveCaretToEndOf, parseCssPixels} from "./Shared";
 import {Shell} from "./Shell";
 import {Buffer, StreamSet} from "./Stream";
@@ -62,7 +63,7 @@ export class Terminal {
         this.output = output;
         this.prefixDiv = prefixDiv;
 
-        this.inputHistory = new InputHistory();
+        this.inputHistory = Persistence.getHistory();
         this.shell = new Shell(this.inputHistory);
 
         document.addEventListener("click", this.onclick.bind(this));