← Back to branch summary

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

« back to all changes in this revision

Viewing changes to bin/ivle-config

  • Committer: William Grant
  • Date: 2012-06-28 01:52:02 UTC
  • Revision ID: me@williamgrant.id.au-20120628015202-f6ru7o367gt6nvgz
Hah

Show diffs side-by-side

added added

removed removed

Lines of Context:
bin/ivle-config
92
92
# In the local file system, where IVLE error logs should be located.""",
93
93
    ask=False))
94
94
 
95
 
config_options.append(ConfigOption("urls/public_host", "public.localhost",
 
95
config_options.append(ConfigOption("urls/public_host",
 
96
    "public.ivle.localhost",
96
97
    """Hostname which will cause the server to go into "public mode",
97
98
providing login-free access to student's published work:""",
98
99
    """
177
178
# other modules may be plugged in to pulldown against organisation-specific
178
179
# pulldown backends.""", ask=False))
179
180
 
180
 
config_options.append(ConfigOption("urls/svn_addr", "http://svn.localhost/",
 
181
config_options.append(ConfigOption("urls/svn_addr",
 
182
    "http://svn.ivle.localhost/",
181
183
    """Subversion config
182
184
=================
183
185
The base url for accessing subversion repositories:""",
201
203
    """
202
204
# The password for the usrmgt-server.""", ask=False))
203
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))
204
222
def query_user(default, prompt):
205
223
    """Prompts the user for a string, which is read from a line of stdin.
206
224
    Exits silently if EOF is encountered. Returns the string, with spaces
280
298
    (opts, args) = getopt.gnu_getopt(args, "", optnames)
281
299
 
282
300
    if args != []:
283
 
        print >>sys.stderr, "Invalid arguments:", string.join(args, ' ')
 
301
        print >>sys.stderr, "Invalid arguments:", ' '.join(args)
284
302
        return 2
285
303
 
286
304
    if opts == []: