summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorLennart Poettering <lennart@poettering.net>2010-07-16 02:56:57 +0200
committerLennart Poettering <lennart@poettering.net>2010-07-16 02:56:57 +0200
commit949c6510326c8d62bfae9866ebfda9506d0eb755 (patch)
tree50f7b484b4e62daba98b7281519e48fe9f7846cd /src
parent992f87e192673d74cbdc4a50c27b8169401c6720 (diff)
mount-setup: consider a few file systems API mounts and ignore them
Diffstat (limited to 'src')
-rw-r--r--src/mount-setup.c14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/mount-setup.c b/src/mount-setup.c
index 33e6f4fa0e..6b0539bf97 100644
--- a/src/mount-setup.c
+++ b/src/mount-setup.c
@@ -51,6 +51,16 @@ static const MountPoint mount_table[] = {
{ "cgroup", "/cgroup/systemd", "cgroup", "none,name=systemd", MS_NOSUID|MS_NOEXEC|MS_NODEV, true },
};
+/* These are API file systems that might be mounted by other software,
+ * we just list them here so that we know that we should igore them */
+
+static const char * const ignore_paths[] = {
+ "/selinux",
+ "/proc/bus/usb",
+ "/var/lib/nfs/rpc_pipefs",
+ "/proc/fs/nfsd"
+};
+
bool mount_point_is_api(const char *path) {
unsigned i;
@@ -61,6 +71,10 @@ bool mount_point_is_api(const char *path) {
if (path_startswith(path, mount_table[i].where))
return true;
+ for (i = 0; i < ELEMENTSOF(ignore_paths); i++)
+ if (path_startswith(path, ignore_paths[i]))
+ return true;
+
return path_startswith(path, "/cgroup/");
}