From 0bb95412a28a4795e66531ce8cbb07edf17a9f8d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gardais=20J=C3=A9r=C3=A9my?=
 <jeremy.gardais@univ-rennes1.fr>
Date: Mon, 12 Mar 2018 10:49:39 +0100
Subject: [PATCH] Add a script to remount devices with extra rights
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

To be able to run updates such as apt, dpkg, grub,…
---
 remountrw | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100755 remountrw

diff --git a/remountrw b/remountrw
new file mode 100755
index 0000000..1dfccef
--- /dev/null
+++ b/remountrw
@@ -0,0 +1,28 @@
+#!/bin/sh
+
+#	Remount some partitions with less restrictive permissions, e.g :
+#		* to be able to run updates (apt, dpkg, grub,…)
+
+if [ "$(id -u)" -eq 0 ]; then
+	# RW permissions
+	## get the mountpath list from fstab
+	for mountpath in /boot /opt /usr /var; do
+		# ensure "${mountpath}" is already mounted
+		if grep -q " ${mountpath} " /etc/mtab; then
+			mount "${mountpath}" -o remount,rw,suid,dev
+		fi
+	done
+
+	# EXEC + RW permissions
+	## get the mountpath list from fstab
+	for mountpath in /tmp /var/tmp /dev/shm; do
+		# ensure "${mountpath}" is already mounted
+		if grep -q " ${mountpath} " /etc/mtab; then
+			mount "${mountpath}" -o remount,rw,suid,dev,exec
+		fi
+	done
+else
+	sudo "${0}"
+fi
+
+exit 0