{$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.