diff options
| author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-19 09:57:58 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-19 09:57:58 (GMT) |
| commit | fbff769b332cb1de2bae4e0847d91a3935244b0b (patch) | |
| tree | e28dd087f62a556a132fc60da1434b665ff4d9dc /scripts | |
| parent | 336368cbddd5ea79543be7d1b7e2eed142942cab (diff) | |
Allow to replace prefix using .sugar.jhbuildrc
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/config.py | 4 | ||||
| -rw-r--r-- | scripts/main.py | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/scripts/config.py b/scripts/config.py index b9ccb19..0d7a1b8 100644 --- a/scripts/config.py +++ b/scripts/config.py @@ -65,7 +65,9 @@ class Config(jhbuild.config.Config): self.moduleset.append(os.path.join(path, moduleset)) def setup_env(self): - self.prefix = os.path.join(self._base_dir, 'install') + # Hack to replace the default prefix + if self.prefix == '/opt/gnome2': + self.prefix = os.path.join(self._base_dir, 'install') jhbuild.config.Config.setup_env(self) diff --git a/scripts/main.py b/scripts/main.py index 272fe98..fd06471 100644 --- a/scripts/main.py +++ b/scripts/main.py @@ -67,7 +67,7 @@ def main(args): help='Information about available jhbuild commands') parser.add_option('-f', '--file', action='store', metavar='CONFIG', type='string', dest='configfile', - default=os.path.join(os.environ['HOME'], '.olpc.jhbuildrc'), + default=os.path.join(os.environ['HOME'], '.sugar.jhbuildrc'), help='use a non default configuration file') parser.add_option('-m', '--moduleset', action='store', metavar='URI', type='string', dest='moduleset', default=None, |