bin/mkinfo
author hackbot
Sat, 29 May 2021 20:06:10 +0000
changeset 172 96b5829df78d
parent 156 e09ac1e3c0eb
permissions -rwxr-xr-x
<cd> ` cp give ../bin

#!/bin/bash
key=$1; shift; mkdir -p $(dirname "/hackenv/help/$key") && echo "$@" > "/hackenv/help/$key.help"