You can now define alias names for users who have an individual configuration,

[devedit.git] / errors.conf

diff --git a/errors.conf b/errors.conf
index b2cbb5768f8979e39ee41227afc48bfe4ba9493b..83e924e42b40e2b066b4f328ca94bca76f17e2a2 100644 (file)
--- a/errors.conf
+++ b/errors.conf
@@ -8,7 +8,8 @@ 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.
 delete_failed     = Could not delete file '{FILE}'.
-dir_copy          = This editor is not able to copy directories.
+dir_copy_self     = You may not copy a directory into itself.
+dir_move_self     = You may not move a directory into itself.
 dir_edit          = You cannot edit directories.
 dir_no_create     = You have not enough permissions to create a file in directory '{DIR}'.
 dir_not_exist     = The directory where you want to create this file or directory does not exist.