Re: jhbuild: better defaults

[Frederic Peters <fpeters gnome org>]

Thomas H.P. Andersen wrote:

> Are there non-bikeshed reasons not to do this? Are there things that
> will break so bad that the cost outweigh the benefit?

Patch welcome; but do mind this comment:

  The only slightly tricky thing about this I see is detecting the
  case where the user was actually using the default in
  defaults.jhbuildrc, in other words if you had just an empty
  .jhbuildrc and were *actually* using /opt/gnome for installs.

  -- Colin Walters <https://bugzilla.gnome.org/show_bug.cgi?id=655714#c1>



        Fred