# HG changeset patch
# User HackBot
# Date 1480903223 0
# Node ID 3238443d09f68bb96cd0258a46ef2b4893b99975
# Parent  d8431f54a2f447733ef1589dd868145ebe1f590a
<oerjan> revert

diff -r d8431f54a2f4 -r 3238443d09f6 bin/slashlearn
--- a/bin/slashlearn	Mon Dec 05 01:57:33 2016 +0000
+++ b/bin/slashlearn	Mon Dec 05 02:00:23 2016 +0000
@@ -1,5 +1,5 @@
 sep="//"
-[[ "$1" == ?*"$sep"* ]] || { echo "usage: $0 key//wisdom"; exit 1; }
+[[ "$1" == ?*"$sep"* ]] || exit 1
 key="$(echo "${1%%$sep*}" | lowercase)"
 value="${1#*$sep}"
 [ -e "wisdom/$key" ] && verb="Relearned" || verb="Learned"