# HG changeset patch # User HackBot # Date 1454978002 0 # Node ID b0f1ed22cea5ec7f4c997c0842054095faa61846 # Parent 37e9f73b834373a10c03104e814fa10261c0542a ` sed -i -e \'s|(echo|{ echo|;s|1);|1 };|\' bin/mk diff -r 37e9f73b8343 -r b0f1ed22cea5 bin/mk --- a/bin/mk Tue Feb 09 00:31:39 2016 +0000 +++ b/bin/mk Tue Feb 09 00:33:22 2016 +0000 @@ -1,1 +1,1 @@ -[[ "$1" == ?*//* ]] || (echo usage: $0 file//contents >&2; exit 1); key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key" +[[ "$1" == ?*//* ]] || { echo usage: $0 file//contents >&2; exit 1 }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"