{$linenoise.read {> }}

linenoise.read displays a prompt and reads a line of user input.

{$linenoise.add $line}

linenoise.add adds a line to the history of linenoise.read.

{$linenoise.save history.txt}

linenoise.save saves the history of linenoise.read to a file.

{$linenoise.load history.txt}

linenoise.load loads the history of linenoise.read from a file.