← 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: 2010-02-04 00:28:46 UTC
  • Revision ID: matt.giuca@gmail.com-20100204002846-zzlgap7pquwwhmjo
ivle-loadsampledata: Access commands through the PATH, rather than using bin/ relative paths.

Show diffs side-by-side

added added

removed removed

Lines of Context:
bin/ivle-config
 
1
#!/usr/bin/python
1
2
# IVLE - Informatics Virtual Learning Environment
2
3
# Copyright (C) 2007-2009 The University of Melbourne
3
4
#
15
16
# along with this program; if not, write to the Free Software
16
17
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
17
18
 
18
 
# Module: setup/config
19
19
# Author: Matt Giuca, Refactored by David Coles
20
 
# Date:   03/07/2008
21
20
 
22
21
'''Configures IVLE with machine-specific details, most notably, various paths.
23
22
Either prompts the administrator for these details or accepts them as
24
23
command-line args.
25
24
 
26
 
Creates ivle/conf/conf.py and bin/trampoline/trampoline/conf.h.
 
25
Creates etc/ivle.conf
27
26
'''
28
27
 
29
28
import optparse
30
29
import getopt
31
30
import os
32
31
import sys
 
32
import stat
33
33
import hashlib
34
34
import uuid
35
35
 
36
 
from setup.util import query_user
 
36
import ivle.config
37
37
 
38
38
import configobj
39
39
 
59
59
# Configuration options, defaults and descriptions
60
60
config_options = []
61
61
 
62
 
config_options.append(ConfigOption("root_dir", "/",
 
62
config_options.append(ConfigOption("urls/root", "/",
63
63
    """Root directory where IVLE is located (in URL space):""",
64
64
    """
65
65
# In URL space, where in the site is IVLE located. (All URLs will be prefixed
66
66
# with this).
67
67
# eg. "/" or "/ivle".""", ask=False))
68
68
 
69
 
config_options.append(ConfigOption("prefix", "/usr/local",
 
69
config_options.append(ConfigOption("paths/prefix", "/usr/local",
70
70
    """In the local file system, the prefix to the system directory where IVLE
71
71
is installed. (This should either be /usr or /usr/local):""",
72
72
    """
75
75
# ('/usr/local' for the usual install, '/usr' for distribution packages)""",
76
76
    ask=False))
77
77
 
78
 
config_options.append(ConfigOption("python_site_packages_override",
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 None (recommended), in which case the value will be
86
 
# computed from prefix and the current Python version.""", ask=False))
87
 
 
88
 
config_options.append(ConfigOption("data_path",
 
78
config_options.append(ConfigOption("paths/data",
89
79
    "/var/lib/ivle",
90
80
    "In the local file system, where user-modifiable data files should be "
91
81
    "located:",
93
83
# In the local file system, where user-modifiable data files should be
94
84
# located.""", ask=False))
95
85
 
96
 
config_options.append(ConfigOption("log_path",
 
86
config_options.append(ConfigOption("paths/logs",
97
87
    "/var/log/ivle",
98
88
    """Directory where IVLE log files are stored (on the local
99
89
file system). Note - this must be writable by the user the IVLE server 
102
92
# In the local file system, where IVLE error logs should be located.""",
103
93
    ask=False))
104
94
 
105
 
config_options.append(ConfigOption("public_host", "public.localhost",
 
95
config_options.append(ConfigOption("urls/public_host",
 
96
    "public.ivle.localhost",
106
97
    """Hostname which will cause the server to go into "public mode",
107
98
providing login-free access to student's published work:""",
108
99
    """
113
104
# Private mode (normal mode) requires login, and only serves files relevant to
114
105
# the logged-in user."""))
115
106
 
116
 
config_options.append(ConfigOption("allowed_uids", "33",
117
 
    """UID of the web server process which will run IVLE.
118
 
Only this user may execute the trampoline. May specify multiple users as
119
 
a comma-separated list.
120
 
    (eg. "1002,78")""",
 
107
config_options.append(ConfigOption("media/version", None,
 
108
    """Version of IVLE media resources (must change on each upgrade):""",
121
109
    """
122
 
# The User-ID of the web server process which will run IVLE, and any other
123
 
# users who are allowed to run the trampoline. This is stores as a string of
124
 
# comma-separated integers, simply because it is not used within Python, only
125
 
# used by the setup program to write to conf.h (see setup.py config).""",
126
 
    ask=False))
 
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))
127
113
 
128
 
config_options.append(ConfigOption("db_host", "localhost",
 
114
config_options.append(ConfigOption("database/host", "localhost",
129
115
    """PostgreSQL Database config
130
116
==========================
131
117
Hostname of the DB server:""",
132
118
    """
133
 
### PostgreSQL Database config ###
134
119
# Database server hostname"""))
135
120
 
136
 
config_options.append(ConfigOption("db_port", "5432",
 
121
config_options.append(ConfigOption("database/port", "5432",
137
122
    """Port of the DB server:""",
138
123
    """
139
124
# Database server port"""))
140
125
 
141
 
config_options.append(ConfigOption("db_dbname", "ivle",
 
126
config_options.append(ConfigOption("database/name", "ivle",
142
127
    """Database name:""",
143
128
    """
144
129
# Database name"""))
145
130
 
146
 
config_options.append(ConfigOption("db_forumdbname", "ivle_forum",
147
 
    """Forum Database name:""",
148
 
    """
149
 
# Forum Database name"""))
150
 
 
151
 
config_options.append(ConfigOption("db_user", "postgres",
 
131
config_options.append(ConfigOption("database/username", "postgres",
152
132
    """Username for DB server login:""",
153
133
    """
154
134
# Database username"""))
155
135
 
156
 
config_options.append(ConfigOption("db_password", "",
 
136
config_options.append(ConfigOption("database/password", "",
157
137
    """Password for DB server login:
158
 
    (Caution: This password is stored in plaintext in ivle/conf/conf.py)""",
 
138
    (Caution: This password is stored in plaintext!)""",
159
139
    """
160
140
# Database password"""))
161
141
 
162
 
config_options.append(ConfigOption("auth_modules", "",
 
142
config_options.append(ConfigOption("auth/modules", "",
163
143
    """Authentication config
164
144
=====================
165
145
Comma-separated list of authentication modules.""",
173
153
# other modules may be plugged in to auth against organisation-specific
174
154
# auth backends.""", ask=False))
175
155
 
176
 
config_options.append(ConfigOption("ldap_url", "ldaps://www.example.com",
 
156
config_options.append(ConfigOption("auth/ldap_url", "ldaps://www.example.com",
177
157
    """(LDAP options are only relevant if "ldap" is included in the list of
178
158
auth modules).
179
159
URL for LDAP authentication server:""",
180
160
    """
181
161
# URL for LDAP authentication server""", ask=False))
182
162
 
183
 
config_options.append(ConfigOption("ldap_format_string",
 
163
config_options.append(ConfigOption("auth/ldap_format_string",
184
164
    "uid=%s,ou=users,o=example",
185
165
    """Format string for LDAP auth request:
186
166
    (Must contain a single "%s" for the user's login name)""",
188
168
# Format string for LDAP auth request
189
169
# (Must contain a single "%s" for the user's login name)""", ask=False))
190
170
 
191
 
config_options.append(ConfigOption("subject_pulldown_modules", "",
 
171
config_options.append(ConfigOption("auth/subject_pulldown_modules", "",
192
172
    """Comma-separated list of subject pulldown modules.
193
173
Add proprietary modules to automatically enrol students in subjects.""",
194
174
    """
198
178
# other modules may be plugged in to pulldown against organisation-specific
199
179
# pulldown backends.""", ask=False))
200
180
 
201
 
config_options.append(ConfigOption("svn_addr", "http://svn.localhost/",
 
181
config_options.append(ConfigOption("urls/svn_addr",
 
182
    "http://svn.ivle.localhost/",
202
183
    """Subversion config
203
184
=================
204
185
The base url for accessing subversion repositories:""",
205
186
    """
206
187
# The base url for accessing subversion repositories."""))
207
188
 
208
 
config_options.append(ConfigOption("usrmgt_host", "localhost",
 
189
config_options.append(ConfigOption("usrmgt/host", "localhost",
209
190
    """User Management Server config
210
191
============================
211
192
The hostname where the usrmgt-server runs:""",
212
193
    """
213
194
# The hostname where the usrmgt-server runs."""))
214
195
 
215
 
config_options.append(ConfigOption("usrmgt_port", "2178",
 
196
config_options.append(ConfigOption("usrmgt/port", "2178",
216
197
    """The port where the usrmgt-server runs:""",
217
198
    """
218
199
# The port where the usrmgt-server runs.""", ask=False))
219
200
 
220
 
config_options.append(ConfigOption("usrmgt_magic", None,
 
201
config_options.append(ConfigOption("usrmgt/magic", None,
221
202
    """The password for the usrmgt-server:""",
222
203
    """
223
204
# The password for the usrmgt-server.""", ask=False))
224
205
 
 
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
def query_user(default, prompt):
 
223
    """Prompts the user for a string, which is read from a line of stdin.
 
224
    Exits silently if EOF is encountered. Returns the string, with spaces
 
225
    removed from the beginning and end.
 
226
 
 
227
    Returns default if a 0-length line (after spaces removed) was read.
 
228
    """
 
229
    if default is None:
 
230
        # A default of None means the value will be computed specially, so we
 
231
        # can't really tell you what it is
 
232
        defaultstr = "computed"
 
233
    elif isinstance(default, basestring):
 
234
        defaultstr = '"%s"' % default
 
235
    else:
 
236
        defaultstr = repr(default)
 
237
    sys.stdout.write('%s\n    (default: %s)\n>' % (prompt, defaultstr))
 
238
    try:
 
239
        val = sys.stdin.readline()
 
240
    except KeyboardInterrupt:
 
241
        # Ctrl+C
 
242
        sys.stdout.write("\n")
 
243
        sys.exit(1)
 
244
    sys.stdout.write("\n")
 
245
    # If EOF, exit
 
246
    if val == '': sys.exit(1)
 
247
    # If empty line, return default
 
248
    val = val.strip()
 
249
    if val == '': return default
 
250
    return val
 
251
 
225
252
def configure(args):
226
 
    # Call the real function
227
 
    return __configure(args)
228
 
 
229
 
def __configure(args):
230
 
    global db_port, usrmgt_port
231
 
 
232
253
    # Try importing existing conf, but if we can't just set up defaults
233
254
    # The reason for this is that these settings are used by other phases
234
255
    # of setup besides conf, so we need to know them.
235
256
    # Also this allows you to hit Return to accept the existing value.
236
257
    try:
237
 
        confmodule = __import__("ivle/conf/conf")
238
 
        for opt in config_options:
239
 
            try:
240
 
                globals()[opt.option_name] = \
241
 
                confmodule.__dict__[opt.option_name]
242
 
            except:
243
 
                globals()[opt.option_name] = opt.default
244
 
    except ImportError:
245
 
        # Just set reasonable defaults
246
 
        for opt in config_options:
247
 
            globals()[opt.option_name] = opt.default
 
258
        conf = ivle.config.Config()
 
259
    except ivle.config.ConfigError:
 
260
        # Couldn't find a config file anywhere.
 
261
        # Create a new blank config object (not yet bound to a file)
 
262
        # All lookups (below) will fail, so it will be initialised with all
 
263
        # the default values.
 
264
        conf = ivle.config.Config(blank=True)
 
265
 
 
266
    # Check that all the options are present, and if not, load the default
 
267
    for opt in config_options:
 
268
        try:
 
269
            conf.get_by_path(opt.option_name)
 
270
        except KeyError:
 
271
            # If the default is None, omit it
 
272
            # Else ConfigObj will write the string 'None' to the conf file
 
273
            if opt.default is not None:
 
274
                conf.set_by_path(opt.option_name, opt.default)
 
275
 
 
276
    # Store comments in the conf object
 
277
    for opt in config_options:
 
278
        # Omitted if the key doesn't exist
 
279
        conf.set_by_path(opt.option_name, comment=opt.comment)
248
280
 
249
281
    # Set up some variables
250
282
    cwd = os.getcwd()
251
283
 
252
284
    # the files that will be created/overwritten
253
 
    conffile = os.path.join(cwd, "etc/ivle.conf")
254
 
    conf_hfile = os.path.join(cwd, "bin/trampoline/conf.h")
255
 
    phpBBconffile = os.path.join(cwd, "www/php/phpBB3/config.php")
 
285
    try:
 
286
        confdir = os.environ['IVLECONF']
 
287
    except KeyError:
 
288
        confdir = '/etc/ivle'
 
289
 
 
290
    conffile = os.path.join(confdir, 'ivle.conf')
 
291
    plugindefaultfile = os.path.join(confdir, 'plugins.d/000default.conf')
256
292
 
257
293
    # Get command-line arguments to avoid asking questions.
258
294
 
262
298
    (opts, args) = getopt.gnu_getopt(args, "", optnames)
263
299
 
264
300
    if args != []:
265
 
        print >>sys.stderr, "Invalid arguments:", string.join(args, ' ')
 
301
        print >>sys.stderr, "Invalid arguments:", ' '.join(args)
266
302
        return 2
267
303
 
268
304
    if opts == []:
269
305
        # Interactive mode. Prompt the user for all the values.
270
306
 
271
 
        print """This tool will create the following files:
272
 
    %s
273
 
    %s
274
 
    %s
275
 
prompting you for details about your configuration. The file will be
276
 
overwritten if it already exists. It will *not* install or deploy IVLE.
 
307
        print """This tool will create %s, prompting you for details about
 
308
your configuration. The file will be updated with modified options if it already
 
309
exists. If it does not already exist, it will be created with sane defaults and
 
310
restrictive permissions.
 
311
 
 
312
%s will also be overwritten with the default list of plugins.
277
313
 
278
314
Please hit Ctrl+C now if you do not wish to do this.
279
 
""" % (conffile, conf_hfile, phpBBconffile)
 
315
""" % (conffile, plugindefaultfile)
280
316
 
281
317
        # Get information from the administrator
282
318
        # If EOF is encountered at any time during the questioning, just exit
284
320
 
285
321
        for opt in config_options:
286
322
            if opt.ask:
287
 
                globals()[opt.option_name] = \
288
 
                    query_user(globals()[opt.option_name], opt.prompt)
 
323
                conf.set_by_path(opt.option_name,
 
324
                    query_user(conf.get_by_path(opt.option_name), opt.prompt))
289
325
    else:
290
326
        opts = dict(opts)
291
327
        # Non-interactive mode. Parse the options.
292
328
        for opt in config_options:
293
329
            if '--' + opt.option_name in opts:
294
 
                globals()[opt.option_name] = opts['--' + opt.option_name]
 
330
                conf.set_by_path(opt.option_name,
 
331
                                 opts['--' + opt.option_name])
295
332
 
296
333
    # Error handling on input values
297
334
    try:
298
 
        allowed_uids_list = map(int, allowed_uids.split(','))
299
 
    except ValueError:
300
 
        print >>sys.stderr, (
301
 
        "Invalid UID list (%s).\n"
302
 
        "Must be a comma-separated list of integers." % allowed_uids)
303
 
        return 1
304
 
    try:
305
 
        db_port = int(db_port)
306
 
        if db_port < 0 or db_port >= 65536: raise ValueError()
307
 
    except ValueError:
308
 
        print >>sys.stderr, (
309
 
        "Invalid DB port (%s).\n"
310
 
        "Must be an integer between 0 and 65535." % repr(db_port))
311
 
        return 1
312
 
    try:
313
 
        usrmgt_port = int(usrmgt_port)
314
 
        if usrmgt_port < 0 or usrmgt_port >= 65536: raise ValueError()
 
335
        conf['database']['port'] = int(conf['database']['port'])
 
336
        if (conf['database']['port'] < 0
 
337
            or conf['database']['port'] >= 65536):
 
338
            raise ValueError()
 
339
    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
 
348
    try:
 
349
        conf['usrmgt']['port'] = int(conf['usrmgt']['port'])
 
350
        if (conf['usrmgt']['port'] < 0 or conf['usrmgt']['port'] >= 65536):
 
351
            raise ValueError()
315
352
    except ValueError:
316
353
        print >>sys.stderr, (
317
354
        "Invalid user management port (%s).\n"
318
 
        "Must be an integer between 0 and 65535." % repr(usrmgt_port))
 
355
        "Must be an integer between 0 and 65535." %
 
356
            repr(conf['usrmgt']['port']))
319
357
        return 1
320
358
 
321
359
    # By default we generate the magic randomly.
322
 
    if globals()['usrmgt_magic'] is None:
323
 
        globals()['usrmgt_magic'] = hashlib.md5(uuid.uuid4().bytes).hexdigest()
324
 
 
325
 
    # Generate the forum secret
326
 
    forum_secret = hashlib.md5(uuid.uuid4().bytes).hexdigest()
327
 
 
328
 
    # Write ./etc/ivle.conf
329
 
 
330
 
    conf = configobj.ConfigObj()
 
360
    try:
 
361
        conf['usrmgt']['magic']     # Throw away; just check for KeyError
 
362
    except KeyError:
 
363
        conf['usrmgt']['magic'] = hashlib.md5(uuid.uuid4().bytes).hexdigest()
 
364
 
 
365
    clobber_permissions = not os.path.exists(conffile)
 
366
 
 
367
    # Write ./etc/ivle.conf (even if we loaded from a different filename)
331
368
    conf.filename = conffile
332
 
 
333
369
    conf.initial_comment = ["# IVLE Configuration File"]
334
 
 
335
 
    for opt in config_options:
336
 
        conf[opt.option_name] = globals()[opt.option_name]
337
 
        conf.comments[opt.option_name] = opt.comment.split('\n')
338
 
 
339
 
    # Add the forum secret to the config file (regenerated each config)
340
 
    conf['forum_secret'] = forum_secret
341
 
 
342
370
    conf.write()
343
371
 
 
372
    # We need to restrict permissions on a new file, as it contains
 
373
    # a nice database password.
 
374
    if clobber_permissions:
 
375
        os.chown(conffile, 33, 33) # chown to www-data
 
376
        os.chmod(conffile, stat.S_IRUSR | stat.S_IWUSR) # No g/o perms!
 
377
 
344
378
    print "Successfully wrote %s" % conffile
345
379
 
346
 
    # Write bin/trampoline/conf.h
347
 
 
348
 
    conf = open(conf_hfile, "w")
349
 
 
350
 
    # XXX Compute jail_base, jail_src_base and jail_system. These will
351
 
    # ALSO be done by the boilerplate code, but we need them here in order
352
 
    # to write to the C file.
353
 
    jail_base = os.path.join(data_path, 'jailmounts')
354
 
    jail_src_base = os.path.join(data_path, 'jails')
355
 
    jail_system = os.path.join(jail_src_base, '__base__')
356
 
 
357
 
    conf.write("""/* IVLE Configuration File
358
 
 * conf.h
359
 
 * Administrator settings required by trampoline.
360
 
 * Note: trampoline will have to be rebuilt in order for changes to this file
361
 
 * to take effect.
362
 
 */
363
 
 
364
 
#define IVLE_AUFS_JAILS
365
 
 
366
 
/* In the local file system, where are the jails located.
367
 
 * The trampoline does not allow the creation of a jail anywhere besides
368
 
 * jail_base or a subdirectory of jail_base.
369
 
 */
370
 
static const char* jail_base = "%s";
371
 
static const char* jail_src_base = "%s";
372
 
static const char* jail_system = "%s";
373
 
 
374
 
/* Which user IDs are allowed to run the trampoline.
375
 
 * This list should be limited to the web server user.
376
 
 * (Note that root is an implicit member of this list).
377
 
 */
378
 
static const int allowed_uids[] = { %s };
379
 
""" % (repr(jail_base)[1:-1], repr(jail_src_base)[1:-1],
380
 
       repr(jail_system)[1:-1], repr(allowed_uids_list)[1:-1]))
381
 
    # Note: The above uses PYTHON reprs, not C reprs
382
 
    # However they should be the same with the exception of the outer
383
 
    # characters, which are stripped off and replaced
384
 
 
385
 
    conf.close()
386
 
 
387
 
    print "Successfully wrote %s" % conf_hfile
388
 
 
389
 
    # Write www/php/phpBB3/config.php
390
 
 
391
 
    conf = open(phpBBconffile, "w")
392
 
    
393
 
    # php-pg work around
394
 
    if db_host == 'localhost':
395
 
        forumdb_host = '127.0.0.1'
396
 
    else:
397
 
        forumdb_host = db_host
398
 
 
399
 
    conf.write( """<?php
400
 
// phpBB 3.0.x auto-generated configuration file
401
 
// Do not change anything in this file!
402
 
$dbms = 'postgres';
403
 
$dbhost = '""" + forumdb_host + """';
404
 
$dbport = '""" + str(db_port) + """';
405
 
$dbname = '""" + db_forumdbname + """';
406
 
$dbuser = '""" + db_user + """';
407
 
$dbpasswd = '""" + db_password + """';
408
 
 
409
 
$table_prefix = 'phpbb_';
410
 
$acm_type = 'file';
411
 
$load_extensions = '';
412
 
@define('PHPBB_INSTALLED', true);
413
 
// @define('DEBUG', true);
414
 
//@define('DEBUG_EXTRA', true);
415
 
 
416
 
$forum_secret = '""" + forum_secret +"""';
417
 
?>"""   )
418
 
    
419
 
    conf.close()
420
 
 
421
 
    print "Successfully wrote %s" % phpBBconffile
422
 
 
423
 
    print
424
 
    print "You may modify the configuration at any time by editing"
425
 
    print conffile
426
 
    print conf_hfile
427
 
    print phpBBconffile
428
 
    print
 
380
    plugindefault = open(plugindefaultfile, 'w')
 
381
    plugindefault.write("""# IVLE default plugin configuration file
 
382
[ivle.webapp.core#Plugin]
 
383
[ivle.webapp.admin.user#Plugin]
 
384
[ivle.webapp.tutorial#Plugin]
 
385
[ivle.webapp.admin.subject#Plugin]
 
386
[ivle.webapp.filesystem.browser#Plugin]
 
387
[ivle.webapp.filesystem.diff#Plugin]
 
388
[ivle.webapp.filesystem.svnlog#Plugin]
 
389
[ivle.webapp.filesystem.serve#Plugin]
 
390
[ivle.webapp.groups#Plugin]
 
391
[ivle.webapp.console#Plugin]
 
392
[ivle.webapp.security#Plugin]
 
393
[ivle.webapp.media#Plugin]
 
394
[ivle.webapp.help#Plugin]
 
395
[ivle.webapp.tos#Plugin]
 
396
[ivle.webapp.userservice#Plugin]
 
397
[ivle.webapp.fileservice#Plugin]
 
398
[ivle.webapp.submit#Plugin]
 
399
""")
 
400
    plugindefault.close()
 
401
    print "Successfully wrote %s" % plugindefaultfile
 
402
 
 
403
    print
 
404
    print "You may modify the configuration at any time by editing " + conffile
429
405
    
430
406
    return 0
 
407
 
 
408
def main(argv=None):
 
409
    if argv is None:
 
410
        argv = sys.argv
 
411
 
 
412
    # Print the opening spiel including the GPL notice
 
413
 
 
414
    print """IVLE - Informatics Virtual Learning Environment Setup
 
415
Copyright (C) 2007-2009 The University of Melbourne
 
416
IVLE comes with ABSOLUTELY NO WARRANTY.
 
417
This is free software, and you are welcome to redistribute it
 
418
under certain conditions. See LICENSE.txt for details.
 
419
 
 
420
IVLE Configuration
 
421
"""
 
422
 
 
423
    return configure(argv[1:])
 
424
 
 
425
if __name__ == "__main__":
 
426
    sys.exit(main())