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

« back to all changes in this revision

Viewing changes to bin/ivle-config

  • Committer: David Coles
  • Date: 2010-07-16 06:47:19 UTC
  • Revision ID: coles.david@gmail.com-20100716064719-j68ejmcf6akblw8a
Fix typo in rebuild_svn_config that caused Storm query to return limited or no 
submissions.

Fixes issue where lectueres and tutors did not have permission to access 
submissions by students in their subjects.

Show diffs side-by-side

added added

removed removed

Lines of Context:
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 == []: