From 42c64569af9732118da606e033e0a8bd918da94f Mon Sep 17 00:00:00 2001 From: Alex Pyrgiotis Date: Tue, 13 Feb 2024 11:38:20 +0200 Subject: [PATCH] dev_scripts: Install conmon from our apt-tools-prod repo Instead of installing a patched conmon version from the oldstable-proposed-updates repo, install it from our apt-tools-prod repo. This applies to just Ubuntu Jammy, since the rest of the platforms don't have this problem. --- dev_scripts/apt-tools-prod.pref | 7 + dev_scripts/apt-tools-prod.sources | 71 +++++++++ dev_scripts/env.py | 25 +-- dev_scripts/oldstable-pu-ubuntu.sources | 193 ------------------------ dev_scripts/oldstable-pu.pref | 7 - 5 files changed, 91 insertions(+), 212 deletions(-) create mode 100644 dev_scripts/apt-tools-prod.pref create mode 100644 dev_scripts/apt-tools-prod.sources delete mode 100644 dev_scripts/oldstable-pu-ubuntu.sources delete mode 100644 dev_scripts/oldstable-pu.pref diff --git a/dev_scripts/apt-tools-prod.pref b/dev_scripts/apt-tools-prod.pref new file mode 100644 index 0000000..925b51b --- /dev/null +++ b/dev_scripts/apt-tools-prod.pref @@ -0,0 +1,7 @@ +Package: * +Pin: origin "packages.freedom.press/apt-tools-prod" +Pin-Priority: 100 + +Package: conmon +Pin: origin "packages.freedom.press/apt-tools-prod" +Pin-Priority: 500 diff --git a/dev_scripts/apt-tools-prod.sources b/dev_scripts/apt-tools-prod.sources new file mode 100644 index 0000000..6671f95 --- /dev/null +++ b/dev_scripts/apt-tools-prod.sources @@ -0,0 +1,71 @@ +Types: deb +URIs: https://packages.freedom.press/apt-tools-prod +Suites: jammy +Components: main +Signed-By: + -----BEGIN PGP PUBLIC KEY BLOCK----- + Comment: DE28 AB24 1FA4 8260 FAC9 B8BA A7C9 B385 2260 4281 + Comment: Dangerzone Release Key