- Allow to filter directory listing using DOS-style wildcards (maybe it still

[devedit.git] / errors.dat

diff --git a/errors.dat b/errors.dat
index 995e5f8ce97ee0991ad44f697a4c4cd4ae90f50b..d0ef5c83c0256651fbec6ccbf162c77de29c8cb1 100644 (file)
--- a/errors.dat
+++ b/errors.dat
@@ -2,18 +2,20 @@
 
 above_root     = Accessing files and directories above the virtual root directory is forbidden.
 binary         = This editor is not able to view/edit binary files.
 
 above_root     = Accessing files and directories above the virtual root directory is forbidden.
 binary         = This editor is not able to view/edit binary files.

+chprop_root    = You are not allowed to change the properties of the root directory.

 cmd_unknown    = Unknown command: '{COMMAND}'
 copy_failed    = Could not copy '{FILE}' to '{NEW_FILE}'.
 create_ar      = You aren't allowed to create files and directories above the virtual root directory.
 delete_failed  = Could not delete file '{FILE}'.
 dircopy        = This editor is not able to copy directories.
 cmd_unknown    = Unknown command: '{COMMAND}'
 copy_failed    = Could not copy '{FILE}' to '{NEW_FILE}'.
 create_ar      = You aren't allowed to create files and directories above the virtual root directory.
 delete_failed  = Could not delete file '{FILE}'.
 dircopy        = This editor is not able to copy directories.

-dir_no_create  = You have not enough permissions to create a file in the directory '{DIRECTORY}'.
+dir_no_create  = You have not enough permissions to create a file in the directory '{DIR}'.

 dir_not_exist  = The directory where you want to create this file or directory doesn't exist.
 dir_read_fail  = Reading of directory '{DIR}' failed.
 dir_replace    = You are not allowed to replace a directory.
 edit_failed    = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
 editdir        = You cannot edit directories.
 exist_edited   = The target file '{FILE}' already exists and is edited by someone else.
 dir_not_exist  = The directory where you want to create this file or directory doesn't exist.
 dir_read_fail  = Reading of directory '{DIR}' failed.
 dir_replace    = You are not allowed to replace a directory.
 edit_failed    = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
 editdir        = You cannot edit directories.
 exist_edited   = The target file '{FILE}' already exists and is edited by someone else.

+exist_no_write = The target file '{FILE}' already exists and you have not enough permissions to replace it.

 file_exists    = A file or directory called '{FILE}' already exists.
 file_in_use    = The file '{FILE}' is currently edited by someone else.
 file_too_large = The file you want to view or edit is too large (max. {SIZE} Bytes).
 file_exists    = A file or directory called '{FILE}' already exists.
 file_in_use    = The file '{FILE}' is currently edited by someone else.
 file_too_large = The file you want to view or edit is too large (max. {SIZE} Bytes).