Merge branch 'master' into core-updates

This commit is contained in:
Ricardo Wurmus 2019-10-06 22:02:20 +02:00
commit e08902d3cb
No known key found for this signature in database
GPG key ID: 197A5888235FACAC
65 changed files with 46438 additions and 628 deletions

View file

@ -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'