From 4eb3f8ce202d799bdc1da2f8e7e284c6f51fe2cd Mon Sep 17 00:00:00 2001
From: Juerd Waalboer <juerd@tnx.nl>
Date: Thu, 14 Mar 2019 01:30:35 +0100
Subject: [PATCH] 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.
---
 revbank | 1 +
 1 file changed, 1 insertion(+)

diff --git a/revbank b/revbank
index 170bd9f..7f74de0 100755
--- a/revbank
+++ b/revbank
@@ -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