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

patrick-canterino.de