← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to bin/ivle-config

  • Committer: matt.giuca
  • Date: 2009-02-25 07:47:58 UTC
  • Revision ID: svn-v4:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:1215
Rewrote tooltips for the four tabs visible by default.
(Shorter, verber and removed fullstops).

Show diffs side-by-side

added added

removed removed

Lines of Context:
bin/ivle-config
75
75
# ('/usr/local' for the usual install, '/usr' for distribution packages)""",
76
76
    ask=False))
77
77
 
 
78
config_options.append(ConfigOption("paths/site_packages",
 
79
    None,
 
80
    """site-packages directory in Python, where Python libraries are to be
 
81
installed. May be left as the default, in which case the value will be
 
82
computed from prefix and the current Python version:""",
 
83
    """
 
84
# 'site-packages' directory in Python, where Python libraries are to be
 
85
# installed. May be omitted (recommended), in which case the value will be
 
86
# computed from prefix and the current Python version.""", ask=False))
 
87
 
78
88
config_options.append(ConfigOption("paths/data",
79
89
    "/var/lib/ivle",
80
90
    "In the local file system, where user-modifiable data files should be "
92
102
# In the local file system, where IVLE error logs should be located.""",
93
103
    ask=False))
94
104
 
95
 
config_options.append(ConfigOption("urls/public_host",
96
 
    "public.ivle.localhost",
 
105
config_options.append(ConfigOption("urls/public_host", "public.localhost",
97
106
    """Hostname which will cause the server to go into "public mode",
98
107
providing login-free access to student's published work:""",
99
108
    """
104
113
# Private mode (normal mode) requires login, and only serves files relevant to
105
114
# the logged-in user."""))
106
115
 
107
 
config_options.append(ConfigOption("media/version", None,
108
 
    """Version of IVLE media resources (must change on each upgrade):""",
109
 
    """
110
 
# Version string for IVLE media resource URLs. When set, they are aggressively
111
 
# cached by the browser, so it must be either left unset or changed each time
112
 
# a media file is changed.""", ask=False))
113
 
 
114
116
config_options.append(ConfigOption("database/host", "localhost",
115
117
    """PostgreSQL Database config
116
118
==========================
178
180
# other modules may be plugged in to pulldown against organisation-specific
179
181
# pulldown backends.""", ask=False))
180
182
 
181
 
config_options.append(ConfigOption("urls/svn_addr",
182
 
    "http://svn.ivle.localhost/",
 
183
config_options.append(ConfigOption("urls/svn_addr", "http://svn.localhost/",
183
184
    """Subversion config
184
185
=================
185
186
The base url for accessing subversion repositories:""",
379
380
[ivle.webapp.tos#Plugin]
380
381
[ivle.webapp.userservice#Plugin]
381
382
[ivle.webapp.fileservice#Plugin]
382
 
[ivle.webapp.submit#Plugin]
383
383
""")
384
384
    plugindefault.close()
385
385
    print "Successfully wrote %s" % plugindefaultfile