diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2019-10-20 19:02:43 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2019-10-21 06:13:12 +0000 |
| commit | 21dfc19a8a02450ea0de44332707ea4aeb9dd212 (patch) | |
| tree | 7e805f1139cb4fd9dd2fc392740cc2c51a5db09a | |
| parent | Releasing debian version 20190101-8. (diff) | |
| download | progress-linux-21dfc19a8a02450ea0de44332707ea4aeb9dd212.tar.xz progress-linux-21dfc19a8a02450ea0de44332707ea4aeb9dd212.zip | |
Using pin priority 100 for backports if the corresponding base release has not been selected in progress-linux apt sources handling.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
| -rwxr-xr-x | debian/progress-linux.postinst | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/debian/progress-linux.postinst b/debian/progress-linux.postinst index a1617f1..8dc75c6 100755 --- a/debian/progress-linux.postinst +++ b/debian/progress-linux.postinst @@ -54,11 +54,21 @@ Configure_apt_preferences () { ARCHIVE="${1}" + case "${ARCHIVE}" in + *-backports*) + PIN_PRIORITY="${BACKPORTS_PRIORITY}" + ;; + + *) + PIN_PRIORITY="999" + ;; + esac + cat >> "/etc/apt/preferences.d/${PROJECT}.pref" << EOF Package: * Pin: release n=${ARCHIVE} -Pin-Priority: 999 +Pin-Priority: ${PIN_PRIORITY} EOF } @@ -125,6 +135,17 @@ case "${1}" in db_stop + BACKPORTS_PRIORITY="100" + + for ARCHIVE in ${ARCHIVES} + do + case "${ARCHIVE}" in + engywuck|fuchur) + BACKPORTS_PRIORITY="999" + ;; + esac + done + DEBIAN_VERSION="$(cat /etc/debian_version)" case "${DEBIAN_VERSION}" in |