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

« back to all changes in this revision

Viewing changes to bin/ivle-config

  • Committer: William Grant
  • Date: 2009-12-08 03:50:24 UTC
  • mfrom: (1294.2.143 ui-the-third)
  • Revision ID: grantw@unimelb.edu.au-20091208035024-wjx8zp54gth15ph8
Merge ui-the-third. This is another UI revamp.

The header is now thin! Thin! The yellow bar is gone. The tabs are gone.
Breadcrumbs are here. Routes is replaced (with an object publishing
mechanism). Views are less repetitive. etc.

Show diffs side-by-side

added added

removed removed

Lines of Context:
203
203
    """
204
204
# The password for the usrmgt-server.""", ask=False))
205
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
206
def query_user(default, prompt):
223
207
    """Prompts the user for a string, which is read from a line of stdin.
224
208
    Exits silently if EOF is encountered. Returns the string, with spaces
298
282
    (opts, args) = getopt.gnu_getopt(args, "", optnames)
299
283
 
300
284
    if args != []:
301
 
        print >>sys.stderr, "Invalid arguments:", ' '.join(args)
 
285
        print >>sys.stderr, "Invalid arguments:", string.join(args, ' ')
302
286
        return 2
303
287
 
304
288
    if opts == []: