manvi.cfg
Package: WA2L/edrc 1.5.57
Section: Configuration Files (4)
Updated: 08 November 2020
Index
Return to Main Contents
NAME
manvi.cfg - configuration file for manvi
SYNOPSIS
edrc/etc/manvi.cfg
AVAILABILITY
WA2L/edrc
DESCRIPTION
This is the configuration file for the
.manvi
command.
FILEFORMAT
The fileformat is
OPTION=VALUE
Between the
OPTION,
the
=
and the
VALUE
are no spaces.
Rows starting with a
#
are considered as comments.
You should not comment out any
OPTION
If you like to use
default settings simply do not specify a
VALUE.
OPTIONS
- EDITMAN_PATH
-
Additional path to search for man page files to be edited.
-
Example: EDITMAN_PATH="`homedir fred/var/Dropbox/bin/WA2L*/man`"
Default: EDITMAN_PATH=
SEE ALSO
edrcintro(1),
edrcman.cfg(1),
manvi(1)
NOTES
-
BUGS
-
AUTHOR
manvi.cfg was developed by Christian Walther. Send suggestions
and bug reports to wa2l@users.sourceforge.net .
COPYRIGHT
Copyright © 2020
Christian Walther
This is free software; see
edrc/doc/COPYING
for copying conditions. There is ABSOLUTELY NO WARRANTY; not
even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
This document was created by man2html
using the manual pages.
Time: 00:14:13 GMT, March 08, 2025