# HG changeset patch # User HackBot # Date 1434092869 0 # Node ID 05c18bb3666495f741a412cab7aaacde3335c327 # Parent 2e62ffaabae2d40de237c1ebf1457ff0df38c3c5 mk bin/mk//[[ "$1" == *//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key" diff -r 2e62ffaabae2 -r 05c18bb36664 bin/mk --- a/bin/mk Fri Jun 12 07:06:54 2015 +0000 +++ b/bin/mk Fri Jun 12 07:07:49 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"