| changeset 179 | 02ec10ea4061 |
| parent 178 | 3b4183dfd246 |
| child 180 | 74b55dab8c04 |
--- a/bin/mk Sat May 29 21:13:34 2021 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,2 +0,0 @@ -#!/bin/bash -[[ "$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