X-Git-Url: https://git.p6c8.net/devedit.git/blobdiff_plain/b5ad046f9519385786cb0faa8dbf165f6d733dee..c752deb389730ae56c25888e6b82c89e30060ec9:/errors.dat?ds=sidebyside diff --git a/errors.dat b/errors.dat index 93b5fc5..25351c4 100644 --- a/errors.dat +++ b/errors.dat @@ -1,35 +1,42 @@ # 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. -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. -text_to_binary = You aren't allowed to write text data into a binary file. -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}'. -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. -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_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. +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. -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}'). +mkdir_failed = Could not create directory '{DIR}'. +mkfile_failed = Could not create file '{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. -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. +rename_failed = Could not move/rename '{FILE}' to '{NEW_FILE}'. 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. -invalid_group = '{GROUP}' seems to be an invalid group name. Please check it and try again. +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