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

[devedit.git] / errors.conf

diff --git a/errors.conf b/errors.conf
index 535793664594c6086f7e6af0252a4123891a8aee..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.
 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.
 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.


@@ -33,6 +34,7 @@ no_copy           = You have not enough permissions to copy this file.
 no_delete         = You have not enough permissions to delete this file.
 no_dir_access     = You have not enough permissions to access this directory.
 no_directory      = '{FILE}' is not a directory.
 no_delete         = You have not enough permissions to delete this file.
 no_dir_access     = You have not enough permissions to access this directory.
 no_directory      = '{FILE}' is not a directory.

+no_download       = You are not allowed to download '{FILE}'.

 no_edit           = You have not enough permissions to edit this file.
 no_rename         = You have not enough permissions to move/rename this file.
 no_root_access    = You have not enough permissions to access the root directory.
 no_edit           = You have not enough permissions to edit this file.
 no_rename         = You have not enough permissions to move/rename this file.
 no_root_access    = You have not enough permissions to access the root directory.