It's just used for visual output, so it doesn't need to
be correct.
+startdir Here you may define the default directory Dev-Editor
+ opens on start.
+
max_file_size Here you may define a maximum size for files (Bytes).
If the user wants to view or edit a file larger than
this defined size, Dev-Editor denies file access (but
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").
+ it into double quotation marks ("/file name").
+
+disable_commands Specify a list of commands the user is not allowed to
+ execute. The commands have to be separated by space
+ characters.
+ If you add "@write" to the list, all writing commands
+ (for example edit, copy, rename etc.) are disabled.
userconf_file Specifies the path to a file which contains
user-dependent configuration options (see next section
- fileroot
- httproot
+- startdir
- hide_dot_files
- forbidden
+- disable_commands
For overriding configuration values you need a special configuration file. The
path to this file is defined using the "userconf_file" configuration option in