From: Silvio Rhatto <rhatto@riseup.net>
Date: Tue, 26 Dec 2023 02:13:40 +0000 (-0300)
Subject: Fix: dpa: adds preferences file
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=d6784318b80b784d3528a76429b327d375e90796;p=puppet-php.git

Fix: dpa: adds preferences file
---

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',
+  }
 }