]> gitweb.fluxo.info Git - puppet-php.git/commitdiff
Fix: dpa: adds preferences file
authorSilvio Rhatto <rhatto@riseup.net>
Tue, 26 Dec 2023 02:13:40 +0000 (23:13 -0300)
committerSilvio Rhatto <rhatto@riseup.net>
Tue, 26 Dec 2023 02:13:40 +0000 (23:13 -0300)
files/preferences [new file with mode: 0644]
manifests/dpa.pp

diff --git a/files/preferences b/files/preferences
new file mode 100644 (file)
index 0000000..23ee6c1
--- /dev/null
@@ -0,0 +1,7 @@
+Package: php*
+Pin: release o=Debian
+Pin-Priority: 990
+
+Package: php*
+Pin: origin "packages.sury.org"
+Pin-Priority: 990
index 74ba174958e390b0c204a48de7afa3a64e3ca19d..1a69e6c87f4a3c092d082badadfb7cfe3fd5a862 100644 (file)
@@ -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',
+  }
 }