Re: jhbuild: better defaults

On Thu, May 23, 2013 at 2:17 PM, Frederic Peters <fpeters gnome org> wrote:
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.

If you go into the config file and delete that line then you are
specifically asking to get the default setting. Is a program allowed
to change defaults? For a program like jhbuild I would be pragmatic
and say yes, but others may disagree. IMO it would be reasonable to
announce the change one month in advance and then just do it.

  -- Colin Walters <>

desktop-devel-list mailing list
desktop-devel-list gnome org

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]