On Fri, Feb 05, 2021 at 03:55:33PM +0100, Frédéric Pierret wrote: > >be doing it all the time. It's a perfectly good situation to _not_ optimize. > > That was my original remark that pulling a "big" RPM for just one file is > not optimal. But as you said, it will probably concern very few amount of > users. So inserting a buildinfo file into debuginfo RPM is a good start. > Also, nothing is written in the stone? If needed in a future, we could > change that. Yeah, exactly — we can optimize later. -- Matthew Miller <mattdm@xxxxxxxxxxxxxxxxx> Fedora Project Leader _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
