diff options
Diffstat (limited to '')
| -rwxr-xr-x | share/build-scripts/debconf | 6 | ||||
| -rw-r--r-- | share/other/deb.progress-linux.org.gpg | bin | 0 -> 2310 bytes |
2 files changed, 6 insertions, 0 deletions
diff --git a/share/build-scripts/debconf b/share/build-scripts/debconf index 2dd8cb7..9e28216 100755 --- a/share/build-scripts/debconf +++ b/share/build-scripts/debconf @@ -509,6 +509,12 @@ EOF case "${MODE}" in progress-linux) + # temporary sideloading new keys until keyring package in debian-stable has been updated + if [ -e "${DIRECTORY}/usr/share/progress-linux/pgp-keys/apt.progress-linux.org.gpg" ] + then + cp -f /usr/share/compute-tools/other/deb.progress-linux.org.gpg "${DIRECTORY}/usr/share/progress-linux/pgp-keys/apt.progress-linux.org.gpg" + fi + cat > "${DIRECTORY}/progress-linux.cfg" << EOF progress-linux progress-linux/archives multiselect $(echo ${ARCHIVES} | sed -e 's| |, |g') progress-linux progress-linux/archive-areas multiselect $(echo ${ARCHIVE_AREAS} | sed -e 's|,| |g') diff --git a/share/other/deb.progress-linux.org.gpg b/share/other/deb.progress-linux.org.gpg Binary files differnew file mode 100644 index 0000000..ed2bd81 --- /dev/null +++ b/share/other/deb.progress-linux.org.gpg |