X-Git-Url: https://git.p6c8.net/devedit.git/blobdiff_plain/91dc65a53fbe7dc79a983a51f330033b343cba36..ff6b963d7af92549b2832612227b86d78ebf4140:/errors.dat?ds=sidebyside diff --git a/errors.dat b/errors.dat index ffa9c68..e6c1549 100644 --- a/errors.dat +++ b/errors.dat @@ -1,37 +1,38 @@ # 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}'. -no_root_access = You have not enough permissions to access the root directory. -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_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. +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}'. +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. -dircopy = This editor is not able to copy directories. -cmd_unknown = Unknown command: {COMMAND} -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}'). +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. -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