Removed useless "use Tool;" in Output.pm

[devedit.git] / errors.dat

diff --git a/errors.dat b/errors.dat
index e6c15490f7e87d97214bf50e1d29593f0cda83de..23de6c1552990c9eaedc5de02874966ede03cc6d 100644 (file)
--- a/errors.dat
+++ b/errors.dat
@@ -2,11 +2,13 @@
 
 above_root     = Accessing files and directories above the virtual root directory is forbidden.
 binary         = This editor is not able to view/edit binary files.
-cmd_unknown    = Unknown command: {COMMAND}
+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.
+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.
@@ -21,15 +23,18 @@ invalid_group  = '{GROUP}' seems to be an invalid group name. Please check it an
 lock_failed    = Locking of '{USELIST}' failed. Try it again in a moment. If the problem persists, ask someone to recreate the lock file ('{LOCK_FILE}').
 mkdir_failed   = Could not create directory '{DIR}'.
 mkfile_failed  = Could not create file '{FILE}'.
-noedit         = You have not enough permissions to edit this file.
-nocopy         = You have not enough permissions to copy this file.
-noview         = You have not enough permissions to view this file.
+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_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_root_dir    = The root directory does not exist or is not a directory.
 no_users       = It seems that your system doesn't support users and groups.
+no_view        = You have not enough permissions to view this file.
 not_exist      = File/directory does not exist.
-not_owner      = You are not the owner of {FILE}, so you are not allowed to change the mode and the group.
+not_owner      = You are not the owner of '{FILE}', so you are not allowed to change the mode and the group.
 remove_root    = You are not allowed to remove the root directory.
 rename_failed  = Could not move/rename '{FILE}' to '{NEW_FILE}'.
 rename_root    = You are not allowed to move/rename the root directory.