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