bin/mkinfo
author hackbot
Sun, 30 May 2021 06:21:34 +0000
changeset 193 f3dcd94d0acf
parent 180 74b55dab8c04
permissions -rwxr-xr-x
<kron> ` head -c 100M /dev/urandom > /hackenv/r1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
180
74b55dab8c04 <cd> revert 3b4183dfd246
hackbot
parents:
diff changeset
     1
#!/bin/bash
74b55dab8c04 <cd> revert 3b4183dfd246
hackbot
parents:
diff changeset
     2
key=$1; shift; mkdir -p $(dirname "/hackenv/help/$key") && echo "$@" > "/hackenv/help/$key.help"