- I always wanted an option for switching Dev-Editor to read-only. So I defined

[devedit.git] / README

diff --git a/README b/README
index 3b3e27663ea6c80d3c6c4623bd1eb099e5f1cd6d..34970876773be8b98c1a6b6e047ea3f02bbc8ede 100644 (file)
--- a/README
+++ b/README
@@ -1,5 +1,5 @@
-ReadMe for Dev-Editor 3.x.x
-===========================
+ReadMe for Dev-Editor 3.1
+=========================
 
 Description
 -----------
@@ -94,7 +94,9 @@ forbidden                Specify a list of filenames the user is not allowed to
                          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         [Documentation]
 
 userconf_file            Specifies the path to a file which contains
                          user-dependent configuration options (see next section
@@ -119,6 +121,7 @@ options:
 - httproot
 - 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
@@ -146,8 +149,8 @@ httproot = /
 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.