bin/mk
changeset 179 02ec10ea4061
parent 178 3b4183dfd246
child 180 74b55dab8c04
equal deleted inserted replaced
178:3b4183dfd246 179:02ec10ea4061
     1 #!/bin/bash
       
     2 [[ "$1" == ?*//* ]] || { echo usage: "mk[x]" file//contents >&2; exit 1; }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$(echo-p "$key")" && echo "$key"