]> git.p6c8.net - devedit.git/blob - errors.dat
- Dev-Editor now uses flock(). flock() is called using a wrapper function which
[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 aren't 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 the directory '{DIR}'.
12 dir_not_exist = The directory where you want to create this file or directory doesn't 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 file_exists = A file or directory called '{FILE}' already exists.
19 file_in_use = The file '{FILE}' is currently edited by someone else.
20 file_too_large = The file you want to view or edit is too large (max. {SIZE} Bytes).
21 in_use = The file '{FILE}' is currently edited by someone else.
22 invalid_group = '{GROUP}' seems to be an invalid group name. Please check it and try again.
23 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}').
24 mkdir_failed = Could not create directory '{DIR}'.
25 mkfile_failed = Could not create file '{FILE}'.
26 no_copy = You have not enough permissions to copy this file.
27 no_delete = You have not enough permissions to delete this file.
28 no_dir_access = You have not enough permissions to access this directory.
29 no_directory = '{FILE}' is not a directory.
30 no_edit = You have not enough permissions to edit this file.
31 no_rename = You have not enough permissions to move/rename this file.
32 no_root_access = You have not enough permissions to access the root directory.
33 no_root_dir = The root directory does not exist or is not a directory.
34 no_users = It seems that your system doesn't support users and groups.
35 no_view = You have not enough permissions to view this file.
36 not_exist = File/directory does not exist.
37 not_owner = You are not the owner of '{FILE}', so you are not allowed to change the mode and the group.
38 remove_root = You are not allowed to remove the root directory.
39 rename_failed = Could not move/rename '{FILE}' to '{NEW_FILE}'.
40 rename_root = You are not allowed to move/rename the root directory.
41 text_to_binary = You aren't allowed to write text data into a binary file.
42
43 # End of configuration file

patrick-canterino.de