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 _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
