# HG changeset patch
# User HackBot
# Date 1437602376 0
# Node ID b8326f7b870fa66f569facdbce5a7a4193d90894
# Parent  9c603f7485427673af3ce11047443a1f94a89ac8
<shachaf> ` sed -i \'s/\\*/?*/\' bin/mk

diff -r 9c603f748542 -r b8326f7b870f bin/mk
--- a/bin/mk	Wed Jul 22 21:53:01 2015 +0000
+++ b/bin/mk	Wed Jul 22 21:59:36 2015 +0000
@@ -1,1 +1,1 @@
-[[ "$1" == *//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"
+[[ "$1" == ?*//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"