# HG changeset patch # User HackBot # Date 1454978187 0 # Node ID 6412f71662f4a4512a1bc286bcd0f95fa7f918c4 # Parent ac0b17a58520f977065bc73994eed21643c9e9ef ` sed -i -e \'s|$0|"mk[x]"|\' bin/mk diff -r ac0b17a58520 -r 6412f71662f4 bin/mk --- a/bin/mk Tue Feb 09 00:34:29 2016 +0000 +++ b/bin/mk Tue Feb 09 00:36:27 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: "mk[x]" file//contents >&2; exit 1; }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"