diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2020-09-12 07:27:09 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2020-10-01 16:50:21 +0000 |
| commit | c6f4433d80d63c666308f43909b1776ea6372042 (patch) | |
| tree | d2f75791497d731c1496da64116e6175623805ca | |
| parent | Merging upstream version 20201001. (diff) | |
| download | progress-linux-c6f4433d80d63c666308f43909b1776ea6372042.tar.xz progress-linux-c6f4433d80d63c666308f43909b1776ea6372042.zip | |
Sharpening generated apt preferences by using both origin and suite values for pinning.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
| -rwxr-xr-x | debian/progress-linux.postinst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/progress-linux.postinst b/debian/progress-linux.postinst index 1943240..37f83e3 100755 --- a/debian/progress-linux.postinst +++ b/debian/progress-linux.postinst @@ -117,7 +117,7 @@ Configure_apt_preferences () cat >> "/etc/apt/preferences.d/${PROJECT}.pref" << EOF Package: * -Pin: release n=${ARCHIVE} +Pin: release o=${PROJECT}, n=${ARCHIVE} Pin-Priority: ${PIN_PRIORITY} EOF } |