diff options
Diffstat (limited to 'static/inferno/man4/mntgen.4')
| -rw-r--r-- | static/inferno/man4/mntgen.4 | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/static/inferno/man4/mntgen.4 b/static/inferno/man4/mntgen.4 new file mode 100644 index 00000000..ceecf6ca --- /dev/null +++ b/static/inferno/man4/mntgen.4 @@ -0,0 +1,30 @@ +.TH MNTGEN 4 +.SH NAME +mntgen \- dynamically generate mount points +.SH SYNOPSIS +.BI "mount {mntgen} " dir +.SH DESCRIPTION +.I Mntgen +serves 9P on its standard input, providing a name space containing a +single directory that is initially empty, but in which a subdirectory name appears when +is first referenced, and remains only as long as it is needed (referenced). +.I Mntgen +is typically mounted on a directory +.I dir +using +.I mount +(see +.IR bind (1)) +as above. +.I Dir +is commonly +.B /n +or +.BR /mnt , +to generate mount points on demand for file systems or services. +.SH SOURCE +.B /appl/cmd/mntgen.b +.SH SEE ALSO +.IR intro (1), +.IR bind (1), +.IR intro (5) |