diff options
| author | Mathieu Othacehe <m.othacehe@gmail.com> | 2019-10-10 17:32:24 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <m.othacehe@gmail.com> | 2019-10-10 17:32:24 +0200 |
| commit | 4d14902b9402a83db444d8d6818d0a4f438ce8c4 (patch) | |
| tree | 85f05a0540ebcd4a1f192096c36271a287eb9fe8 /gnu/system.scm | |
| parent | 647cfcf68184e8558fcea751ef6d95b6e5d86ae1 (diff) | |
| parent | 6c50e1dc0625f89884cff40b22627091efa37708 (diff) | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/system.scm')
| -rw-r--r-- | gnu/system.scm | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index 37573fd153..a353b1a5c8 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -829,7 +829,12 @@ use 'plain-file' instead~%") (file-append inetutils "/bin/ping6") (file-append sudo "/bin/sudo") (file-append sudo "/bin/sudoedit") - (file-append fuse "/bin/fusermount")))) + (file-append fuse "/bin/fusermount") + + ;; To allow mounts with the "user" option, "mount" and "umount" must + ;; be setuid-root. + (file-append util-linux "/bin/mount") + (file-append util-linux "/bin/umount")))) (define %sudoers-specification ;; Default /etc/sudoers contents: 'root' and all members of the 'wheel' |