# PK_URL
# PK_ARCHIVE
pkdownload() {
wget -c "$PK_URL" -O "$PK_ARCHIVE" \
|| curl -L "$PK_URL" -o "$PK_ARCHIVE" \
|| return 1
}