# HG changeset patch # User HackBot # Date 1454977597 0 # Node ID 5e5627f9e3cbfe1e4b36a1b086fcff0bbca61d01 # Parent 4aa157eb793d98d805498478413693ad7e424577 ` sed -i -e \'s|exit 1|(echo usage: $0 file//contents; exit 1)|\' bin/mk diff -r 4aa157eb793d -r 5e5627f9e3cb bin/mk --- a/bin/mk Tue Feb 09 00:21:09 2016 +0000 +++ b/bin/mk Tue Feb 09 00:26:37 2016 +0000 @@ -1,1 +1,1 @@ -[[ "$1" == ?*//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key" +[[ "$1" == ?*//* ]] || (echo usage: $0 file//contents; exit 1); key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"