Hello,
this is in reaction to Pete's mail on fedora-announce-list. I am working on an experimental fork of yum:
https://fedoraproject.org/wiki/Features/DNF
The package is available in F18 and I'd like it to be mentioned in the release notes.
Many thanks, Ales Kozumplik
On 09/18/2012 02:24 AM, Pete Travis wrote:
Greetings!
As the Fedora Documentation Project prepares the release notes forFedora 18, we'd like to ask for your help. Each Fedora release marks the inclusion of new features and the retirement of others, and with the help of the development community, we won't skip a beat. The Docs team would like you to assign us some homework.
The release notes are divided up into categories, or 'beats.' Eachbeat is kept by a volunteer who follows mailing lists, changelogs, announcements, and features in the space. Many beats also have a developer point of contact for technical questions and cooperation. We track these responsibilities with http://fedoraproject.org/wiki/Category:Documentation_beats , which includes links out to wiki pages for each individual beat. As we reach the end of the release cycle, developers and docs maintainers populate these pages, then they are converted from wiki markup to Docbook XML and published. With a little help, we can put out release notes that can't be beat.
If you're working on something for Fedora, we'd like to make sureyou get the credit you deserve. Leave us a quick note on a beats page, send it to our mailing list ( http://lists.fedoraproject.org/mailman/listinfo/docs ), or join us in #fedora-docs. You don't need to worry about language and composition or even spelling - just let us know what you've been working on that you'd like documented and we'll take it from there.
We *really* don't want you to beat yourself up about presentation.A simple "make sure you mention this new feature" is enough. We're happy to do the research and compose the prose. Knowing where to start writing makes the process considerably more efficient, just as a brief note on hundreds of features from each developer is more effective than a handful of docs maintainers trying to follow all of hundreds of features.
Thanks for helping us represent your work to the users,Pete Travis, The Fedora Docs Team _______________________________________________ devel-announce mailing list devel-announce@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel-announce
Hi,
Why not. As I understand DNF is a fork of yum that uses new backend. I have a question, what is a SAT solver ? a satellite solver ?
Regards. -- *Romain Forlot*
pub 4096R/862907E5 2011-05-26 Key fingerprint = 4549 A7CA 17DC D0AA 0FE0 7953 E6A8 A0C8 8629 07E5 uid Romain Forlot <rforlot@yahoo.com> sub 4096R/153E34C2 2011-05-26
---- Le Tue, 18 Sep 2012 06:34:18 +0200 Ales Kozumplik<akozumpl@redhat.com> a écrit ----
Hello,
this is in reaction to Pete's mail on fedora-announce-list. I am working on an experimental fork of yum:
https://fedoraproject.org/wiki/Features/DNF
The package is available in F18 and I'd like it to be mentioned in the release notes.
Many thanks, Ales Kozumplik
On 09/18/2012 02:24 AM, Pete Travis wrote: > Greetings! > > As the Fedora Documentation Project prepares the release notes for > Fedora 18, we'd like to ask for your help. Each Fedora release marks > the inclusion of new features and the retirement of others, and with > the help of the development community, we won't skip a beat. The Docs > team would like you to assign us some homework. > > The release notes are divided up into categories, or 'beats.' Each > beat is kept by a volunteer who follows mailing lists, changelogs, > announcements, and features in the space. Many beats also have a > developer point of contact for technical questions and cooperation. We > track these responsibilities with > http://fedoraproject.org/wiki/Category:Documentation_beats , which > includes links out to wiki pages for each individual beat. As we > reach the end of the release cycle, developers and docs maintainers > populate these pages, then they are converted from wiki markup to > Docbook XML and published. With a little help, we can put out release > notes that can't be beat. > > If you're working on something for Fedora, we'd like to make sure > you get the credit you deserve. Leave us a quick note on a beats page, > send it to our mailing list ( > http://lists.fedoraproject.org/mailman/listinfo/docs ), or join us in > #fedora-docs. You don't need to worry about language and composition > or even spelling - just let us know what you've been working on that > you'd like documented and we'll take it from there. > > We *really* don't want you to beat yourself up about presentation. > A simple "make sure you mention this new feature" is enough. We're > happy to do the research and compose the prose. Knowing where to start > writing makes the process considerably more efficient, just as a brief > note on hundreds of features from each developer is more effective > than a handful of docs maintainers trying to follow all of hundreds of > features. > > Thanks for helping us represent your work to the users, > > Pete Travis, > The Fedora Docs Team > _______________________________________________ > devel-announce mailing list > devel-announce@lists.fedoraproject.org > https://admin.fedoraproject.org/mailman/listinfo/devel-announce
On Tue, Sep 18, 2012 at 12:00:36 +0200, Compte Yahoo rforlot@yahoo.com wrote:
Why not. As I understand DNF is a fork of yum that uses new backend. I have a question, what is a SAT solver ? a satellite solver ?
On 09/18/2012 02:13 PM, Bruno Wolff III wrote:
On Tue, Sep 18, 2012 at 12:00:36 +0200, Compte Yahoo rforlot@yahoo.com wrote:
Why not. As I understand DNF is a fork of yum that uses new backend. I have a question, what is a SAT solver ? a satellite solver ?
Hello,
yes, SAT solver is a program that sees if a given boolean formula is satisfiable (and with what assignments). libsolv (the DNF backend) does just that: after it reduces the package dependency problem to a conjunctive normal form it runs its SAT solver over it to see if it's satisfiable (i.e. if any combination of all packages can be installed to respect what the user selected for installation) and with what assignments (what packages to specifically put into the transaction and install/delete/...).
This is essentially different from what depsolvers in Yum, RPM and other packaging software do: they usually build some sort of graph of packages and their dependencies and then traverse it and add packages until all deps and constrains are satisfied. The premise of using SAT solving instead is that we get the minimal result, faster, with less memory (besides SAT solving libsolv is being very smart about how to store the package metadata).
HTH and sorry for no satellites here:)
Ales
Hi,
Release Notes updated with DNF feature.
Regards
-- *Romain Forlot*
pub 4096R/862907E5 2011-05-26 Key fingerprint = 4549 A7CA 17DC D0AA 0FE0 7953 E6A8 A0C8 8629 07E5 uid Romain Forlot rforlot@yahoo.com sub 4096R/153E34C2 2011-05-26
---- Le Wed, 19 Sep 2012 07:53:54 +0200 Ales Kozumplikakozumpl@redhat.com a écrit ----
On 09/18/2012 02:13 PM, Bruno Wolff III wrote:
On Tue, Sep 18, 2012 at 12:00:36 +0200, Compte Yahoo rforlot@yahoo.com wrote:
Why not. As I understand DNF is a fork of yum that uses new backend. I have a question, what is a SAT solver ? a satellite solver ?
Hello,
yes, SAT solver is a program that sees if a given boolean formula is satisfiable (and with what assignments). libsolv (the DNF backend) does just that: after it reduces the package dependency problem to a conjunctive normal form it runs its SAT solver over it to see if it's satisfiable (i.e. if any combination of all packages can be installed to respect what the user selected for installation) and with what assignments (what packages to specifically put into the transaction and install/delete/...).
This is essentially different from what depsolvers in Yum, RPM and other packaging software do: they usually build some sort of graph of packages and their dependencies and then traverse it and add packages until all deps and constrains are satisfied. The premise of using SAT solving instead is that we get the minimal result, faster, with less memory (besides SAT solving libsolv is being very smart about how to store the package metadata).
HTH and sorry for no satellites here:)
Ales
docs mailing list docs@lists.fedoraproject.org To unsubscribe: https://admin.fedoraproject.org/mailman/listinfo/docs
-
Ales Kozumplik -
Bruno Wolff III -
Compte Yahoo