# HG changeset patch # User HackBot # Date 1462585535 0 # Node ID a4d33985ad726cbdf9d3e45b67fcb8b8549d95b4 # Parent 234caea6595388e3df641a1b578ffaa356c6b67a ` mv bin/mk bin/derp/mk diff -r 234caea65953 -r a4d33985ad72 bin/derp/mk --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/derp/mk Sat May 07 01:45:35 2016 +0000 @@ -0,0 +1,1 @@ +[[ "$1" == ?*//* ]] || { echo usage: "mk[x]" file//contents >&2; exit 1; }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$(echo-p "$key")" && echo "$key" diff -r 234caea65953 -r a4d33985ad72 bin/mk --- a/bin/mk Sat May 07 01:45:27 2016 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -[[ "$1" == ?*//* ]] || { echo usage: "mk[x]" file//contents >&2; exit 1; }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$(echo-p "$key")" && echo "$key"