]> git.p6c8.net - devedit.git/blob - errors.dat
10773ac43e54a81eb66cd463fb49b120d020151e
[devedit.git] / errors.dat
1 # This file contains the error messages of Dev-Editor
2
3 above_root = Accessing files and directories above the virtual root directory is forbidden.
4 binary = This editor is not able to view/edit binary files.
5 chprop_root = You are not allowed to change the properties of the root directory.
6 cmd_unknown = Unknown command: '{COMMAND}'
7 copy_failed = Could not copy '{FILE}' to '{NEW_FILE}'.
8 create_ar = You are not allowed to create files and directories above the virtual root directory.
9 delete_failed = Could not delete file '{FILE}'.
10 dircopy = This editor is not able to copy directories.
11 dir_no_create = You have not enough permissions to create a file in directory '{DIR}'.
12 dir_not_exist = The directory where you want to create this file or directory does not exist.
13 dir_read_fail = Reading of directory '{DIR}' failed.
14 dir_replace = You are not allowed to replace a directory.
15 edit_failed = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
16 editdir = You cannot edit directories.
17 exist_edited = The target file '{FILE}' already exists and is edited by someone else.
18 exist_no_write = The target file '{FILE}' already exists and you have not enough permissions to replace it.
19 file_exists = A file or directory called '{FILE}' already exists.
20 file_in_use = The file '{FILE}' is currently edited by someone else.
21 file_too_large = The file you want to view or edit is too large (max. {SIZE} Bytes).
22 in_use = The file '{FILE}' is currently edited by someone else.
23 invalid_group = '{GROUP}' seems to be an invalid group name. Please check it and try again.
24 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}').
25 mkdir_failed = Could not create directory '{DIR}'.
26 mkfile_failed = Could not create file '{FILE}'.
27 no_copy = You have not enough permissions to copy this file.
28 no_delete = You have not enough permissions to delete this file.
29 no_dir_access = You have not enough permissions to access this directory.
30 no_directory = '{FILE}' is not a directory.
31 no_edit = You have not enough permissions to edit this file.
32 no_rename = You have not enough permissions to move/rename this file.
33 no_root_access = You have not enough permissions to access the root directory.
34 no_root_dir = The root directory does not exist or is not a directory.
35 no_users = It seems that your system does not support users and groups.
36 no_view = You have not enough permissions to view this file.
37 not_exist = File/directory does not exist.
38 not_owner = You are not the owner of '{FILE}', so you are not allowed to change its mode and its group.
39 remove_root = You are not allowed to remove the root directory.
40 rename_failed = Could not move/rename '{FILE}' to '{NEW_FILE}'.
41 rename_root = You are not allowed to move/rename the root directory.
42 text_to_binary = You are not allowed to write text data into a binary file.
43
44 # End of configuration file

patrick-canterino.de