# HG changeset patch # User HackBot # Date 1480903053 0 # Node ID d8431f54a2f447733ef1589dd868145ebe1f590a # Parent fc0b936bfb573c4f053c482ddf356efcebf2b4fe sled bin/slashlearn//s,exit 1,{ echo "usage: $0 key//wisdom"; exit 1; }, diff -r fc0b936bfb57 -r d8431f54a2f4 bin/slashlearn --- a/bin/slashlearn Mon Dec 05 01:51:33 2016 +0000 +++ b/bin/slashlearn Mon Dec 05 01:57:33 2016 +0000 @@ -1,5 +1,5 @@ sep="//" -[[ "$1" == ?*"$sep"* ]] || exit 1 +[[ "$1" == ?*"$sep"* ]] || { echo "usage: $0 key//wisdom"; exit 1; } key="$(echo "${1%%$sep*}" | lowercase)" value="${1#*$sep}" [ -e "wisdom/$key" ] && verb="Relearned" || verb="Learned"