]> git.p6c8.net - devedit.git/blob - errors.dat
7a66dee5075a56e1c74529520affdebd24d98fba
[devedit.git] / errors.dat
1 # This file contains the error messages of Dev-Editor
2
3 binary = This editor is not able to view/edit binary files.
4 editdir = You cannot edit directories.
5 noedit = You have not enough permissions to edit this file.
6 file_in_use = The file '{FILE}' is currently edited by someone else.
7 edit_failed = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
8 delete_failed = Could not delete file '{FILE}'.
9 dir_read_fail = Reading of directory '{DIR}' failed.
10 mkfile_failed = Could not create file '{FILE}'.
11 mkdir_failed = Could not create directory '{DIR}'.
12 copy_failed = Could not copy '{FILE}' to '{NEW_FILE}'.
13 rename_failed = Could not move/rename '{FILE}' to '{NEW_FILE}'.
14 above_root = Accessing files and directories above the virtual root directory is forbidden.
15 create_ar = You aren't allowed to create files and directories above the virtual root directory.
16 file_exists = A file or directory called '{FILE}' already exists.
17 exist_edited = The target file '{FILE}' already exists and is edited by someone else.
18 in_use = The file '{FILE}' is currently edited by someone else.
19 noview = You have not enough permissions to view this file.
20 nocopy = You have not enough permissions to copy this file.
21 dircopy = This editor is not able to copy directories.
22 cmd_unknown = Unknown command: {COMMAND}
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 not_exist = File/directory does not exist.
25 dir_not_exist = The directory where you want to create this file or directory doesn't exist.
26
27 # End of configuration file

patrick-canterino.de