# HG changeset patch
# User HackBot
# Date 1434091490 0
# Node ID ad1af9f711e671924f14dde8c00202ff0ac22b85
# Parent  30d77a6117e90c690642752e07f7036fe2feb446
<shachaf> mk bin/mk//[[ "$1" == *//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key"; echo "made \xc2\xab$key\xc2\xbb"

diff -r 30d77a6117e9 -r ad1af9f711e6 bin/mk
--- a/bin/mk	Fri Jun 12 06:44:07 2015 +0000
+++ b/bin/mk	Fri Jun 12 06:44:50 2015 +0000
@@ -1,1 +1,1 @@
-[[ "$1" == *//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key"; echo "made «$1»"
+[[ "$1" == *//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key"; echo "made «$key»"