← Back to branch summary

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

« back to all changes in this revision

Viewing changes to bin/ivle-config

Quick port of fileservice to the new framework. It's still very much old-style,
though.

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:""",
203
204
    """
204
205
# The password for the usrmgt-server.""", ask=False))
205
206
 
206
 
config_options.append(ConfigOption("jail/suite", "hardy",
207
 
    """The distribution release to use to build the jail:""",
208
 
    """
209
 
# The distribution release to use to build the jail.""", ask=True))
210
 
 
211
 
config_options.append(ConfigOption("jail/mirror", "archive.ubuntu.com",
212
 
    """The archive mirror to use to build the jail:""",
213
 
    """
214
 
# The archive mirror to use to build the jail.""", ask=True))
215
 
 
216
 
config_options.append(ConfigOption("jail/devmode", False,
217
 
    """Whether jail development mode be activated:""",
218
 
    """
219
 
# Should jail development mode be activated?""", ask=False))
220
 
 
221
 
# The password for the usrmgt-server.""", ask=False))
222
207
def query_user(default, prompt):
223
208
    """Prompts the user for a string, which is read from a line of stdin.
224
209
    Exits silently if EOF is encountered. Returns the string, with spaces
298
283
    (opts, args) = getopt.gnu_getopt(args, "", optnames)
299
284
 
300
285
    if args != []:
301
 
        print >>sys.stderr, "Invalid arguments:", ' '.join(args)
 
286
        print >>sys.stderr, "Invalid arguments:", string.join(args, ' ')
302
287
        return 2
303
288
 
304
289
    if opts == []:
337
322
            or conf['database']['port'] >= 65536):
338
323
            raise ValueError()
339
324
    except ValueError:
340
 
        if conf['database']['port'] == '' or conf['database']['port'] is None:
341
 
            pass
342
 
        else:
343
 
            print >>sys.stderr, (
344
 
            "Invalid DB port (%s).\n"
345
 
            "Must be an integer between 0 and 65535." %
346
 
                repr(conf['database']['port']))
347
 
            return 1
 
325
        print >>sys.stderr, (
 
326
        "Invalid DB port (%s).\n"
 
327
        "Must be an integer between 0 and 65535." %
 
328
            repr(conf['database']['port']))
 
329
        return 1
348
330
    try:
349
331
        conf['usrmgt']['port'] = int(conf['usrmgt']['port'])
350
332
        if (conf['usrmgt']['port'] < 0 or conf['usrmgt']['port'] >= 65536):
395
377
[ivle.webapp.tos#Plugin]
396
378
[ivle.webapp.userservice#Plugin]
397
379
[ivle.webapp.fileservice#Plugin]
398
 
[ivle.webapp.submit#Plugin]
399
380
""")
400
381
    plugindefault.close()
401
382
    print "Successfully wrote %s" % plugindefaultfile