X-Git-Url: https://git.p6c8.net/devedit.git/blobdiff_plain/91dc65a53fbe7dc79a983a51f330033b343cba36..a79585945f7869b5d5b481762e0875eea0b6f487:/errors.dat?ds=sidebyside diff --git a/errors.dat b/errors.dat index ffa9c68..10773ac 100644 --- a/errors.dat +++ b/errors.dat @@ -1,37 +1,44 @@ # 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. +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 are not 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 directory '{DIR}'. +dir_not_exist = The directory where you want to create this file or directory does not exist. dir_read_fail = Reading of directory '{DIR}' failed. -mkfile_failed = Could not create file '{FILE}'. -mkdir_failed = Could not create directory '{DIR}'. -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. +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). 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. +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 the administrator to create 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. -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_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 does not 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 its mode and its 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 are not allowed to write text data into a binary file. # End of configuration file \ No newline at end of file