summaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-04-29 17:40:03 +0200
committerLudovic Courtès <ludo@gnu.org>2018-04-29 17:55:08 +0200
commitdf1eaffc36c77d0bb3c55c68fa3c5d4c5d9b221f (patch)
tree4cf9578283c5ddce1b03481b53c3f8ac8a55fac6 /gnu/system
parent8bcda205f587547cfc6aabba8cbf08251cc44e74 (diff)
downloadpatches-df1eaffc36c77d0bb3c55c68fa3c5d4c5d9b221f.tar
patches-df1eaffc36c77d0bb3c55c68fa3c5d4c5d9b221f.tar.gz
file-systems: Expound '%pseudo-file-system-types'.
Reported by Tobias Geerinckx-Rice <me@tobias.gr>. * gnu/system/file-systems.scm (%pseudo-file-system-types): Add "debugfs", "efivarfs", "hugetlbfs", "overlay", and "securityfs".
Diffstat (limited to 'gnu/system')
-rw-r--r--gnu/system/file-systems.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/system/file-systems.scm b/gnu/system/file-systems.scm
index c0c635508c..d2acd705de 100644
--- a/gnu/system/file-systems.scm
+++ b/gnu/system/file-systems.scm
@@ -207,8 +207,8 @@ TARGET in the other system."
(define %pseudo-file-system-types
;; List of know pseudo file system types. This is used when validating file
;; system definitions.
- '("binfmt_misc" "cgroup" "devpts" "devtmpfs" "fusectl"
- "proc" "sysfs" "tmpfs"))
+ '("binfmt_misc" "cgroup" "debugfs" "devpts" "devtmpfs" "efivarfs" "fusectl"
+ "hugetlbfs" "overlay" "proc" "securityfs" "sysfs" "tmpfs"))
(define %fuse-control-file-system
;; Control file system for Linux' file systems in user-space (FUSE).