diff options
Diffstat (limited to 'man5/proc_filesystems.5')
| -rw-r--r-- | man5/proc_filesystems.5 | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/man5/proc_filesystems.5 b/man5/proc_filesystems.5 deleted file mode 100644 index 2ed6b54..0000000 --- a/man5/proc_filesystems.5 +++ /dev/null @@ -1,33 +0,0 @@ -.\" Copyright (C) 1994, 1995, Daniel Quinlan <quinlan@yggdrasil.com> -.\" Copyright (C) 2002-2008, 2017, Michael Kerrisk <mtk.manpages@gmail.com> -.\" Copyright (C) 2023, Alejandro Colomar <alx@kernel.org> -.\" -.\" SPDX-License-Identifier: GPL-3.0-or-later -.\" -.\" FIXME cross check against Documentation/filesystems/proc.txt -.\" to see what information could be imported from that file -.\" into this file. -.\" -.TH proc_filesystems 5 2023-08-15 "Linux man-pages 6.7" -.SH NAME -/proc/filesystems \- supported filesystems -.SH DESCRIPTION -.TP -.I /proc/filesystems -A text listing of the filesystems which are supported by the kernel, -namely filesystems which were compiled into the kernel or whose kernel -modules are currently loaded. -(See also -.BR filesystems (5).) -If a filesystem is marked with "nodev", -this means that it does not require a block device to be mounted -(e.g., virtual filesystem, network filesystem). -.IP -Incidentally, this file may be used by -.BR mount (8) -when no filesystem is specified and it didn't manage to determine the -filesystem type. -Then filesystems contained in this file are tried -(excepted those that are marked with "nodev"). -.SH SEE ALSO -.BR proc (5) |