← 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-24 02:02:03 UTC
  • mto: This revision was merged to the branch mainline in revision 1119.
  • Revision ID: matt.giuca@gmail.com-20090224020203-aqdcjnsj6y7wl32o
Added a new look to the IVLE header bar. Mmmm... Web 2.0.
Added top-level directory image-source, containing SVG and script files for
    generating the images.
ivle/webapp/coremedia/images: Added 'chrome' directory containing the rendered
    images.
Modified ivle/webapp/base/ivle-headings.html and
    ivle/webapp/coremedia/ivle.css to support the new images.
    Note that the H1 and H2 at the top of the page are no longer displayed
    (and their custom styles have been removed). There is a heading image
    instead.

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 "
103
113
# Private mode (normal mode) requires login, and only serves files relevant to
104
114
# the logged-in user."""))
105
115
 
106
 
config_options.append(ConfigOption("media/version", None,
107
 
    """Version of IVLE media resources (must change on each upgrade):""",
108
 
    """
109
 
# Version string for IVLE media resource URLs. When set, they are aggressively
110
 
# cached by the browser, so it must be either left unset or changed each time
111
 
# a media file is changed.""", ask=False))
112
 
 
113
116
config_options.append(ConfigOption("database/host", "localhost",
114
117
    """PostgreSQL Database config
115
118
==========================
377
380
[ivle.webapp.tos#Plugin]
378
381
[ivle.webapp.userservice#Plugin]
379
382
[ivle.webapp.fileservice#Plugin]
380
 
[ivle.webapp.submit#Plugin]
381
383
""")
382
384
    plugindefault.close()
383
385
    print "Successfully wrote %s" % plugindefaultfile