diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-04-29 17:40:03 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-04-29 17:55:08 +0200 |
| commit | df1eaffc36c77d0bb3c55c68fa3c5d4c5d9b221f (patch) | |
| tree | 4cf9578283c5ddce1b03481b53c3f8ac8a55fac6 | |
| parent | 8bcda205f587547cfc6aabba8cbf08251cc44e74 (diff) | |
| download | patches-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".
| -rw-r--r-- | gnu/system/file-systems.scm | 4 |
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). |