diff options
| -rw-r--r-- | src/mount-setup.c | 14 |
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/"); } |