# HG changeset patch # User Jeff Hammel # Date 1354667735 28800 # Node ID 6a3754236d1f56ee965972115593c41d8d21aca3 # Parent 0dfc618488d62000a35bf1635fc6166e4be09c3d TODO diff -r 0dfc618488d6 -r 6a3754236d1f mozillatry.py --- a/mozillatry.py Tue Dec 04 16:32:34 2012 -0800 +++ b/mozillatry.py Tue Dec 04 16:35:35 2012 -0800 @@ -108,6 +108,9 @@ if (try_directory is None) or (not os.path.exists(try_directory)): raise ConfigurationError("mozilla-central directory does not exist: %s" % try_directory) + config['mozilla_central'] = os.path.expanduser(config['mozilla_central']) + # TODO: make a 'path' type + def configuration_files(self, options, args): configuration_files = configuration.Configuration.configuration_files(self, options, args) if not configuration_files: