# HG changeset patch
# User HackBot
# Date 1519790886 0
# Node ID 5455769afdd1546f958c997e1fbb1972e08db8ef
# Parent  992f881962d06724185ccecb7f005a6c373ad7ef
<oerjan> undo 11380

diff -r 992f881962d0 -r 5455769afdd1 bin/forget
--- a/bin/forget	Wed Feb 28 04:07:14 2018 +0000
+++ b/bin/forget	Wed Feb 28 04:08:06 2018 +0000
@@ -1,2 +1,4 @@
 #!/bin/sh
-for n; do rm "wisdom/$n" && echo "Forget what?"; done
+rm-p "wisdom/$(echo "$1" | tr A-Z a-z)" && \
+echo "Forget what?"
+