Re: jhbuild: better defaults

["Thomas H.P. Andersen" <phomes gmail com>]

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 <https://bugzilla.gnome.org/show_bug.cgi?id=655714#c1>
>
>
>
>         Fred
> _______________________________________________
> desktop-devel-list mailing list
> desktop-devel-list gnome org
> https://mail.gnome.org/mailman/listinfo/desktop-devel-list