diff options
author | Lennart Poettering <lennart@poettering.net> | 2010-07-16 02:56:57 +0200 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2010-07-16 02:56:57 +0200 |
commit | 949c6510326c8d62bfae9866ebfda9506d0eb755 (patch) | |
tree | 50f7b484b4e62daba98b7281519e48fe9f7846cd | |
parent | 992f87e192673d74cbdc4a50c27b8169401c6720 (diff) |
mount-setup: consider a few file systems API mounts and ignore them
-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/"); } |