On Thu, May 23, 2013 at 2:17 PM, Frederic Peters <[email protected]> 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 <https://bugzilla.gnome.org/show_bug.cgi?id=655714#c1> > > > > Fred > _______________________________________________ > desktop-devel-list mailing list > [email protected] > https://mail.gnome.org/mailman/listinfo/desktop-devel-list _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
