From d6784318b80b784d3528a76429b327d375e90796 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Mon, 25 Dec 2023 23:13:40 -0300
Subject: Fix: dpa: adds preferences file

---
 files/preferences |  7 +++++++
 manifests/dpa.pp  | 10 ++++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 files/preferences

diff --git a/files/preferences b/files/preferences
new file mode 100644
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 74ba174..1a69e6c 100644
--- 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',
+  }
 }
-- 
cgit v1.2.3