1
# IVLE Configuration File
3
# Configuration of plugin applications for IVLE
4
# These should not need to be modified by admins unless new applications are
8
# Note: icon is a string of a file basename. The icon files are found in
9
# app_icon_dir, defined below.
11
def __init__(self, dir, name, icon = None, requireauth = True,
16
self.requireauth = requireauth
17
self.hashelp = hashelp
19
return ("App(dir=" + repr(self.dir) + ", name=" + repr(self.name) +
20
", icon=" + repr(self.icon) +
21
", requireauth=" + repr(self.requireauth) + ", hashelp="
22
+ repr(self.hashelp) + ")")
24
# Directory where app icons are stored, relative to the IVLE root.
25
app_icon_dir = "media/images/apps"
26
# Small version of icons (16x16, for favicon)
27
app_icon_dir_small = "media/images/apps/small"
29
# Which application to load by default (if the user navigates to the top level
30
# of the site). This is the app's URL name.
31
# Note that if this app requires authentication, the user will first be
32
# presented with the login screen.
34
# Which application to use for "public host" URLs.
38
# Application definitions
40
app_browser = App(dir = "browser",
41
name = "File Browser",
46
app_editor = App(dir = "editor",
52
app_fileservice = App(dir = "fileservice",
53
name = "File Service (AJAX server)",
57
app_console = App(dir = "console",
63
app_consoleservice = App(dir = "consoleservice",
64
name = "Console Service",
68
app_tutorial = App(dir = "tutorial",
70
icon = "tutorial.png",
74
app_server = App(dir = "server",
79
app_download = App(dir = "download",
84
app_help = App(dir = "help",
90
app_debuginfo = App(dir = "debuginfo",
91
name = "Debug Information",
95
# Mapping URL names to apps
98
"files" : app_browser,
100
"fileservice" : app_fileservice,
101
"console" : app_console,
102
"consoleservice" : app_consoleservice,
103
"tutorial" : app_tutorial,
104
"serve" : app_server,
105
"download" : app_download,
107
#"debuginfo" : app_debuginfo,
110
# List of apps that go in the tabs at the top
111
# (The others are hidden unless they are linked to)
112
# Note: The values in this list are the URL names as seen in app_url.
114
apps_in_tabs = ["files", "edit", "console", "tutorial", "help"]