-ReadMe for Dev-Editor 3.x.x
-===========================
+ReadMe for Dev-Editor 3.1
+=========================
Description
-----------
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
aliases = marge bart
Using this, the users whose usernames are "marge" and "bart" use the same
-configuration as "homer". Place any number of username seperated by whitespaces
-here.
+configuration as "homer". You can place an arbitrary number of usernames
+seperated by whitespaces here.
Note: If one of the users mentioned as an alias and an individual configuration
section for this user exists too, the one mentioned as an alias is ignored.