From e2ed9e4be8e61c26ea23a56a79b0776ea42d0269 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20S=C3=89RIE?= <bserie@evolix.fr>
Date: Wed, 20 Sep 2017 14:33:22 +0200
Subject: [PATCH] Add preferences file to pin php7.1 packages

---
 php/files/sury.preferences     | 7 +++++++
 php/tasks/php_stretch_sury.yml | 5 +++++
 2 files changed, 12 insertions(+)
 create mode 100644 php/files/sury.preferences

diff --git a/php/files/sury.preferences b/php/files/sury.preferences
new file mode 100644
index 00000000..95b28e3d
--- /dev/null
+++ b/php/files/sury.preferences
@@ -0,0 +1,7 @@
+Package: php7.1* libapache2-mod-php7.1
+Pin: origin packages.sury.org
+Pin-Priority: 999
+
+Package: *
+Pin: origin packages.sury.org
+Pin-Priority: 50
diff --git a/php/tasks/php_stretch_sury.yml b/php/tasks/php_stretch_sury.yml
index 9ac58421..be549804 100644
--- a/php/tasks/php_stretch_sury.yml
+++ b/php/tasks/php_stretch_sury.yml
@@ -11,6 +11,11 @@
     state: present
     name: apt-transport-https
 
+- name: Setup deb.sury.org repository - Add preferences file
+  copy:
+    src: sury.preferences
+    dest: /etc/apt/preferences.d/z-sury
+
 - name: Setup deb.sury.org repository - Add source list
   apt_repository:
     repo: "deb https://packages.sury.org/php/ stretch main"