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 <[email protected]> Fedora Project Leader _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] 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/[email protected]
