← 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: 2009-04-29 04:58:42 UTC
  • Revision ID: grantw@unimelb.edu.au-20090429045842-upijb1ybcbz1zg6u
Kill --nosvnrevno from setup.install - we don't use Subversion now.

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