Re-add history feature

Was originally added in 2015 (commit bb8652f4ac89a7453394020a472279809413d10f),
but the line and the commit are nowhere to be found. It may have been lost in
a git merge.
This commit is contained in:
Juerd Waalboer 2019-03-14 01:30:35 +01:00
parent 3489793a97
commit 4eb3f8ce20

View file

@ -85,6 +85,7 @@ sub prompt {
print "\e[0m";
defined $input or return;
$readline->addhistory($input);
$input =~ s/^\s+//; # trim leading whitespace
$input =~ s/\s+$//; # trim trailing whitespace