bin/mkinfo
author hackbot
Sun, 23 May 2021 17:46:35 +0000
changeset 108 0607f6ccdf63
parent 100 648be6279e23
child 156 e09ac1e3c0eb
permissions -rwxr-xr-x
<\a> rm /hackenv/bi
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
100
648be6279e23 <\a> ` echo "key=\\$1; shift; mkdir -p \\$(dirname \\"/hackenv/help/\\$key\\") && echo \\"\\$@\\" > \\"/hackenv/help/\\$key.help\\"" > /hackenv/bin/mkinfo
hackbot
parents:
diff changeset
     1
key=$1; shift; mkdir -p $(dirname "/hackenv/help/$key") && echo "$@" > "/hackenv/help/$key.help"