New config option: disable_commands. This option defines a list of commands

[devedit.git] / errors.conf

diff --git a/errors.conf b/errors.conf
index 244501ff0b2b4405f566b5d4bea241bce80b5f97..87c89145a50b6af81d67c9089ddf9b9c081bb61d 100644 (file)
--- a/errors.conf
+++ b/errors.conf
@@ -4,6 +4,7 @@ above_root        = Accessing files and directories above the virtual root direc
 binary_file       = This editor is not able to view/edit binary files.
 chprop_link       = You are not allowed to change the properties of a symbolic link.
 chprop_root       = You are not allowed to change the properties of the root directory.
+command_disabled  = The command '{COMMAND}' has been disabled by the administrator.
 command_unknown   = Unknown command: '{COMMAND}'
 copy_failed       = Could not copy '{FILE}' to '{NEW_FILE}'.
 create_above_root = You are not allowed to create files and directories above the virtual root directory.