From de6a86ba5d2b37cf7400110d5b45368a9e486d5e 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:02:02 +0100
Subject: [PATCH] Add a script to remount devices with default value

---
 remountdefault | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 remountdefault

diff --git a/remountdefault b/remountdefault
new file mode 100755
index 0000000..66263a0
--- /dev/null
+++ b/remountdefault
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+#	Remount with default values from /etc/fstab all mountpath
+
+if [ "$(id -u)" -eq 0 ]; then
+	# get the mountpath list from fstab
+	for mountpath in $(grep -v -E "(^#|none)" /etc/fstab | awk '{print $2}'); do
+		# ensure "${mountpath}" is already mounted
+		if grep -q " ${mountpath} " /etc/mtab; then
+			mount "${mountpath}" -o remount
+			#printf '%b\n' "mount ${mountpath} -o remount"
+		fi
+	done
+else
+	sudo "${0}"
+fi
+
+exit 0