- Small changes to Change Log
-------------------
Added new configuration option "disable_commands" for disabling commands of
Dev-Editor.
-------------------
Added new configuration option "disable_commands" for disabling commands of
Dev-Editor.
Start directory:
----------------
Added new configuration option "startdir" which defines the default directory
instead of "/".
Start directory:
----------------
Added new configuration option "startdir" which defines the default directory
instead of "/".
HTTP download:
--------------
You may now execute a HTTP download of a file.
HTTP download:
--------------
You may now execute a HTTP download of a file.
Small changes:
--------------
- Added a checkbox for editing a file after creating it.
Small changes:
--------------
- Added a checkbox for editing a file after creating it.
Version 3.1 (2009-05-12):
=========================
Version 3.1 (2009-05-12):
=========================
---------------------------------------------------
For a better distinction of the objects in directory listing, every second
object has a grey background now.
---------------------------------------------------
For a better distinction of the objects in directory listing, every second
object has a grey background now.
Remote name for uploaded files:
-------------------------------
When uploading a file, you can now specify a name for the file on the server.
Remote name for uploaded files:
-------------------------------
When uploading a file, you can now specify a name for the file on the server.
It's just used for visual output, so it doesn't need to
be correct.
It's just used for visual output, so it doesn't need to
be correct.
+startdir Here you may define the default directory Dev-Editor
+ opens on start.
+
max_file_size Here you may define a maximum size for files (Bytes).
If the user wants to view or edit a file larger than
this defined size, Dev-Editor denies file access (but
max_file_size Here you may define a maximum size for files (Bytes).
If the user wants to view or edit a file larger than
this defined size, Dev-Editor denies file access (but
a filename contains space characters, you have to put
it into double quotation marks ("/file name").
a filename contains space characters, you have to put
it into double quotation marks ("/file name").
-disable_commands [Documentation]
+disable_commands Specify a list of commands the user is not allowed to
+ execute. The commands have to be separated by space
+ characters.
+ If you add "@write" to the list, all writing commands
+ (for example edit, copy, rename etc.) are disabled.
userconf_file Specifies the path to a file which contains
user-dependent configuration options (see next section
userconf_file Specifies the path to a file which contains
user-dependent configuration options (see next section
- hide_dot_files
- forbidden
- disable_commands
- hide_dot_files
- forbidden
- disable_commands