The path the user wants to access must now BEGIN with the root directory. The

[devedit.git] / errors.dat

diff --git a/errors.dat b/errors.dat
index 338dbfe0a7fbac3bfc180f38fa06f814dd99c980..e6c15490f7e87d97214bf50e1d29593f0cda83de 100644 (file)
--- a/errors.dat
+++ b/errors.dat
@@ -1,33 +1,38 @@
 # This file contains the error messages of Dev-Editor
 
 # This file contains the error messages of Dev-Editor
 

+above_root     = Accessing files and directories above the virtual root directory is forbidden.

 binary         = This editor is not able to view/edit binary files.
 binary         = This editor is not able to view/edit binary files.

-editdir        = You cannot edit directories.
-noedit         = You have not enough permissions to edit this file.
-file_in_use    = The file '{FILE}' is currently edited by someone else.
-edit_failed    = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
-delete_failed  = Could not delete file '{FILE}'.
-dir_read_fail  = Reading of directory '{DIR}' failed.
-mkfile_failed  = Could not create file '{FILE}'.
-mkdir_failed   = Could not create directory '{DIR}'.
+cmd_unknown    = Unknown command: {COMMAND}

 copy_failed    = Could not copy '{FILE}' to '{NEW_FILE}'.
 copy_failed    = Could not copy '{FILE}' to '{NEW_FILE}'.

-rename_failed  = Could not move/rename '{FILE}' to '{NEW_FILE}'.
-above_root     = Accessing files and directories above the virtual root directory is forbidden.

 create_ar      = You aren't allowed to create files and directories above the virtual root directory.
 create_ar      = You aren't allowed to create files and directories above the virtual root directory.

-file_exists    = A file or directory called '{FILE}' already exists.
+delete_failed  = Could not delete file '{FILE}'.
+dircopy        = This editor is not able to copy directories.
+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_edited   = The target file '{FILE}' already exists and is edited by someone else.

+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).

 in_use         = The file '{FILE}' is currently edited by someone else.
 in_use         = The file '{FILE}' is currently edited by someone else.

-dir_replace    = You are not allowed to replace a directory.
-noview         = You have not enough permissions to view this file.
-nocopy         = You have not enough permissions to copy this file.
-dircopy        = This editor is not able to copy directories.
-cmd_unknown    = Unknown command: {COMMAND}
+invalid_group  = '{GROUP}' seems to be an invalid group name. Please check it and try again.

 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}').
 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_dir_access  = You have not enough permissions to access this directory.
+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.

 not_exist      = File/directory does not exist.
 not_exist      = File/directory does not exist.

-dir_not_exist  = The directory where you want to create this file or directory doesn't exist.
-file_too_large = The file you want to view or edit is too large (max. {SIZE} Bytes).
+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.
 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.
 rename_root    = You are not allowed to move/rename the root directory.

-no_users       = It seems that your system doesn't support users and groups.
-not_owner      = You are not the owner of {FILE}, so you are not allowed to change the mode and the group.
+text_to_binary = You aren't allowed to write text data into a binary file.

 
 # End of configuration file
\ No newline at end of file
 
 # End of configuration file
\ No newline at end of file