From 3dbd8ae72cd508948513791a2c204dddb42f2d58 Mon Sep 17 00:00:00 2001
From: jurgenhaas <juergen@paragon-es.de>
Date: Mon, 18 Jun 2018 09:44:28 +0200
Subject: [PATCH] Improve and document jk_init for PHP 7.1

---
 README.md             | 5 +++++
 templates/jk_init.ini | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..3700518
--- /dev/null
+++ b/README.md
@@ -0,0 +1,5 @@
+When updating PHP version at a later stage, there are extra steps that need to be taken:
+
+- Update `/etc/jailkit/jk_init.ini`
+- Force updating all Jails: `jk_init --force -j /jails/[NAME]/ php`
+- Manually update `/jails/[NAME]/etc/alternatives/php`
diff --git a/templates/jk_init.ini b/templates/jk_init.ini
index c380387..0a93f8a 100644
--- a/templates/jk_init.ini
+++ b/templates/jk_init.ini
@@ -170,7 +170,7 @@ executables = /usr/local/bin/php
 directories = /usr/lib/php5, /usr/share/php, /usr/share/php5, /etc/php5, /usr/share/zoneinfo, /usr/local/lib/php/extensions
 {% elif php_version_main|default('7') == '7' %}
 executables = /usr/bin/php
-directories = /usr/lib/php, /usr/share/php, /usr/share/php{{php_version|default("7.0")}}-*, /etc/php, /usr/share/zoneinfo
+directories = /usr/lib/php, /usr/share/php, /usr/share/php{{php_version|default("7.0")}}-*, /etc/php, /usr/share/zoneinfo, /usr/lib/x86_64-linux-gnu/libxml*
 {% else %}
 executables = /usr/bin/php5
 directories = /usr/lib/php5, /usr/share/php, /usr/share/php5, /etc/php5, /usr/share/zoneinfo
-- 
GitLab