# HG changeset patch
# User HackBot
# Date 1520631464 0
# Node ID 82b9c2fa247565202c857b4a3129a0cd3206c632
# Parent  24aa085a476152319844356e944b0b22e343c209
<wob_jonas> `` >bin/forget echo $\'#!/bin/sh\\n\'\'for n; do if [ lethe = "$a" ]; then echo rm -f "wisdom/$n"; else rm-p "wisdom/$n"; fi && echo "Forget what?"; done\' && echo ok

diff -r 24aa085a4761 -r 82b9c2fa2475 bin/forget
--- a/bin/forget	Wed Mar 07 01:47:56 2018 +0000
+++ b/bin/forget	Fri Mar 09 21:37:44 2018 +0000
@@ -1,2 +1,2 @@
 #!/bin/sh
-for n; do rm-p "wisdom/$n" && echo "Forget what?"; done
+for n; do if [ lethe = "$a" ]; then echo rm -f "wisdom/$n"; else rm-p "wisdom/$n"; fi && echo "Forget what?"; done