bin/mk
changeset 41 9adbf03703a4
parent 39 14cd90d82626
child 157 260b4289d533
--- a/bin/mk	Sat May 22 19:31:02 2021 -0500
+++ b/bin/mk	Sat May 22 19:34:04 2021 -0500
@@ -1,1 +1,1 @@
-​[[ "$1" == ?*//* ]] || { echo usage: "mk[x]" file//contents >&2; exit 1; }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$(echo-p "$key")" && echo "$key"
\ No newline at end of file
+[[ "$1" == ?*//* ]] || { echo usage: "mk[x]" file//contents >&2; exit 1; }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$(echo-p "$key")" && echo "$key"
\ No newline at end of file