From 5ad831fdf0eebb22271e811e6e9124cf88f67842 Mon Sep 17 00:00:00 2001
From: inytar <pietpiet@fastmail.net>
Date: Mon, 21 Nov 2016 18:48:00 -0500
Subject: [PATCH] Make sure Vagrant works with SELinux enabled

Remount SELinux filesystem if host is running SELinux.
---
 Vagrantfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index 7bd1a59338..66f8fc89b6 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -80,6 +80,11 @@ $provision_script = <<SCRIPT
 set -x
 set -e
 set -o pipefail
+# If the host is running SELinux remount the /sys/fs/selinux directory as read only,
+# needed for apt-get to work.
+if [ -d "/sys/fs/selinux" ]; then
+  sudo mount -o remount,ro /sys/fs/selinux
+fi
 ln -nsf /srv/zulip ~/zulip
 /usr/bin/python /srv/zulip/tools/provision.py | sudo tee -a /var/log/zulip_provision.log
 SCRIPT