devedit.dat

   1 # This is the configuration file of Dev-Editor
   2 # All the settings are explained in the ReadMe file
   3 #
   4 # Please don't use quotation marks around the keys and values!
   5
   6 fileroot     = D:/WWW/dokumente/devedit-test
   7 httproot     = /devedit-test/
   8 timeformat   = %d.%m.%Y %H:%M
   9 uselist_file = uselist
  10 lock_file    = uselist.lock
  11 lock_timeout = 10
  12
  13 # ========================================================
  14 #  You don't need to change the values below this comment
  15 # ========================================================
  16
  17 # Templates
  18
  19 tpl_dirlist         = templates/dirlist.htm
  20 tpl_viewfile        = templates/viewfile.htm
  21 tpl_editfile        = templates/editfile.htm
  22 tpl_copyfile        = templates/copyfile.htm
  23 tpl_renamefile      = templates/renamefile.htm
  24 tpl_mkfile          = templates/mkfile.htm
  25 tpl_mkdir           = templates/mkdir.htm
  26 tpl_upload          = templates/upload.htm
  27 tpl_confirm_rmfile  = templates/confirm_rmfile.htm
  28 tpl_confirm_rmdir   = templates/confirm_rmdir.htm
  29 tpl_confirm_unlock  = templates/confirm_unlock.htm
  30 tpl_confirm_replace = templates/confirm_replace.htm
  31 tpl_dirlist_file    = templates/dirlist_file.htm
  32 tpl_dirlist_dir     = templates/dirlist_dir.htm
  33 tpl_dirlist_up      = templates/dirlist_up.htm
  34 tpl_error           = templates/error.htm
  35
  36 # Error messages
  37
  38 err_binary        = This editor is not able to view/edit binary files.
  39 err_editdir       = You cannot edit directories.
  40 err_noedit        = You have not enough permissions to edit this file.
  41 err_file_in_use   = The file '{FILE}' is currently edited by someone else.
  42 err_edit_failed   = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
  43 err_delete_failed = Could not delete file '{FILE}'.
  44 err_dir_read_fail = Reading of directory '{DIR}' failed.
  45 err_mkfile_failed = Could not create file '{FILE}'.
  46 err_mkdir_failed  = Could not create directory '{DIR}'.
  47 err_copy_failed   = Could not copy '{FILE}' to '{NEW_FILE}'.
  48 err_rename_failed = Could not move/rename '{FILE}' to '{NEW_FILE}'.
  49 err_above_root    = Accessing files and directories above the virtual root directory is forbidden.
  50 err_create_ar     = You aren't allowed to create files and directories above the virtual root directory.
  51 err_file_exists   = A file or directory called '{FILE}' already exists.
  52 err_exist_edited  = The target file '{FILE}' already exists and is edited by someone else.
  53 err_in_use        = The file '{FILE}' is currently edited by someone else.
  54 err_noview        = You have not enough permissions to view this file.
  55 err_nocopy        = You have not enough permissions to copy this file.
  56 err_dircopy       = This editor is not able to copy directories.
  57 err_cmd_unknown   = Unknown command: {COMMAND}
  58 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}').
  59 err_not_exist     = File/directory does not exist.
  60 err_dir_not_exist = The directory where you want to create this file or directory doesn't exist.
  61
  62 # End of configuration file