diff options
| -rw-r--r-- | init.d/devfs.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/init.d/devfs.in b/init.d/devfs.in index ae55a1c3..0cc3ba03 100644 --- a/init.d/devfs.in +++ b/init.d/devfs.in @@ -24,8 +24,9 @@ mount_dev() action=--mount conf_d_dir="${RC_SERVICE%/*/*}/conf.d" msg=Mounting - # Some devices require exec, Bug #92921 - mountopts="exec,nosuid,mode=0755" + # Some devices require exec, https://bugs.gentoo.org/92921 + # Users with such requirements can use an fstab entry for /dev + mountopts="noexec,nosuid,mode=0755" if yesno ${skip_mount_dev:-no} ; then einfo "/dev will not be mounted due to user request" return 0 |