- Improved file editing (especially if the file should be saved using a different...

[devedit.git] / devedit.dat

diff --git a/devedit.dat b/devedit.dat
index c34d1505004d3e9771be2f407fb91aacfbded4a9..8c9a918b7af349962fafae6e474ef5f5f7dfad0d 100644 (file)
--- a/devedit.dat
+++ b/devedit.dat
@@ -19,6 +19,8 @@ lock_timeout = 10
 tpl_dirlist         = templates/dirlist.htm
 tpl_viewfile        = templates/viewfile.htm
 tpl_editfile        = templates/editfile.htm
 tpl_dirlist         = templates/dirlist.htm
 tpl_viewfile        = templates/viewfile.htm
 tpl_editfile        = templates/editfile.htm

+tpl_copyfile        = templates/copyfile.htm
+tpl_renamefile      = templates/renamefile.htm

 tpl_confirm_rmfile  = templates/confirm_rmfile.htm
 tpl_confirm_rmdir   = templates/confirm_rmdir.htm
 tpl_confirm_unlock  = templates/confirm_unlock.htm
 tpl_confirm_rmfile  = templates/confirm_rmfile.htm
 tpl_confirm_rmdir   = templates/confirm_rmdir.htm
 tpl_confirm_unlock  = templates/confirm_unlock.htm


@@ -33,9 +35,24 @@ tpl_error           = templates/error.htm
 err_binary        = This editor is not able to view/edit binary files.
 err_editdir       = You cannot edit directories.
 err_noedit        = You have not enough permissions to edit this file.
 err_binary        = This editor is not able to view/edit binary files.
 err_editdir       = You cannot edit directories.
 err_noedit        = You have not enough permissions to edit this file.

+err_file_in_use   = The file '{FILE}' is currently edited by someone else.

 err_edit_failed   = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
 err_delete_failed = Could not delete file '{FILE}'.
 err_edit_failed   = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
 err_delete_failed = Could not delete file '{FILE}'.

+err_dir_read_fail = Reading of directory '{DIR}' failed.
+err_mkfile_failed = Could not create file '{FILE}'.
+err_mkdir_failed  = Could not create directory '{DIR}'.
+err_copy_failed   = Could not copy '{FILE}' to '{NEW_FILE}'.
+err_rename_failed = Could not move/rename '{FILE}' to '{NEW_FILE}'.

 err_above_root    = Accessing files and directories above the virtual root directory is forbidden.
 err_create_ar     = You aren't allowed to create files and directories above the virtual root directory.
 err_above_root    = Accessing files and directories above the virtual root directory is forbidden.
 err_create_ar     = You aren't allowed to create files and directories above the virtual root directory.

+err_file_exists   = A file or directory called '{FILE}' already exists.
+err_exist_edited  = The target file '{FILE}' already exists and is edited by someone else.
+err_noview        = You have not enough permissions to view this file.
+err_nocopy        = You have not enough permissions to copy this file.
+err_dircopy       = This editor is not able to copy directories.
+err_cmd_unknown   = Unknown command: {COMMAND}
+err_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}').
+err_not_exist     = File/directory does not exist.
+err_dir_not_exist = The directory where you want to create this file or directory doesn't exist.

 
 # End of configuration file
\ No newline at end of file
 
 # End of configuration file
\ No newline at end of file