1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#!/bin/sh # 2019-09-10, Nico Schottelius, Seoul if [ $# -ne 1 ]; then echo "$0: <webserver directory>" echo 'Export your friends to the web!' exit 1 fi dir=$1; shift keys="$dir/rifkeys" gpg -a --export RI6F > "$keys" # Ensure everyone can read them chmod 0644 "$keys"