Fix: dpa: adds preferences file

diff --git a/files/preferences b/files/preferences
new file mode 100644 (file)
index 0000000..23ee6c1
--- /dev/null
+++ b/files/preferences
@@ -0,0 +1,7 @@
+Package: php*
+Pin: release o=Debian
+Pin-Priority: 990
+
+Package: php*
+Pin: origin "packages.sury.org"
+Pin-Priority: 990

diff --git a/manifests/dpa.pp b/manifests/dpa.pp
index 74ba174958e390b0c204a48de7afa3a64e3ca19d..1a69e6c87f4a3c092d082badadfb7cfe3fd5a862 100644 (file)
--- a/manifests/dpa.pp
+++ b/manifests/dpa.pp
@@ -11,4 +11,14 @@ class php::dpa inherits php::repository {
     content => "deb https://packages.sury.org/php/ ${::lsbdistcodename} main\n",
     require => File['/etc/apt/trusted.gpg.d/deb.sury.org-php.gpg'],
   }
+
+  # Pinning
+  # Adapted from https://dmvrtx.me/2023/06/php-7.4-on-debian-bookworm/
+  file { '/etc/apt/preferences.d/php':
+    ensure  => present,
+    owner   => "root",
+    group   => "root",
+    mode    => "0644",
+    source  => 'puppet:///modules/php/preferences',
+  }
 }