# HG changeset patch # User HackBot # Date 1454977699 0 # Node ID 1df206df768f8f1e8f4522cfe656dc588b2c336c # Parent 6c08430faa9e851139f6aff723d04b83d27a69e1 ` sed -i -e \'s|contents;|contents >&2;|\' bin/mk diff -r 6c08430faa9e -r 1df206df768f bin/mk --- a/bin/mk Tue Feb 09 00:26:51 2016 +0000 +++ b/bin/mk Tue Feb 09 00:28:19 2016 +0000 @@ -1,1 +1,1 @@ -[[ "$1" == ?*//* ]] || (echo usage: $0 file//contents; exit 1); key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key" +[[ "$1" == ?*//* ]] || (echo usage: $0 file//contents >contents;2; exit 1); key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"