-------------
Open the file devedit.conf. This file contains keys and values separated by a
-"=" sign.
+"=" sign. Lines beginning with a "#" sign are ignored.
Here is a list of the configuration options currently available:
Option Description
Time (GMT/UTC) in directory listing and in the About
dialogue instead of the local time.
-forbidden Specify . The filenames have to be separated by space characters.
- If a filename contains space characters, you have to
- put it into double quotation marks ("/filename").
+forbidden Specify a list of filenames the user is not allowed to
+ access. The filenames have to be relative to the
+ virtual root directory (they must also begin with a
+ slash) and have to be separated by space characters. If
+ a filename contains space characters, you have to put
+ it into double quotation marks ("/filename").
error_file The path to the file which defines the error messages.
The file has the same format as this one.