chiark / gitweb /
mount-setup: consider a few file systems API mounts and ignore them
authorLennart Poettering <lennart@poettering.net>
Fri, 16 Jul 2010 00:56:57 +0000 (02:56 +0200)
committerLennart Poettering <lennart@poettering.net>
Fri, 16 Jul 2010 00:56:57 +0000 (02:56 +0200)
src/mount-setup.c

index 33e6f4f..6b0539b 100644 (file)
@@ -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/");
 }