[zypp-devel] Verify system feature dropped?
Hi, zypp hackers, while working on ncurses package selector redesign I have found out that yet another thing has been dropped (deprecated/obsoleted/temporarily unavailable) from zypp silently, without communicating this fact to those who are using the feature. In this case, maintainers of package selectors. Facts: FaTE #301178 "Offer 'verify installed package dependencies' functionality in YaST" mandatory/important for SLE10 SP1 important for openSUSE 10.3 Requested by: kkaempf@novell.com Project Manager: visnov@novell.com (adding those to Cc:) After selecting 'Verify system' entry from package selector menu, solver run should check package dependencies and take appropriate action to restore the consistency of the system (e.g. mark missing packages for installation) However, this never happens, I'm getting false-positive result that all dependencies are correct (which is obviously not true) and this message in the log: Resolver.cc (verifySystem): Will currently not be supported by the SAT-solver Maybe I'm not having the most recent version of SAT-solver and this issue would be already settled if I made fresh svn checkout. In that case you may disregard this e-mail. Anyway, as this feature was mandatory, I believe it should not be dropped without adequate substitute. Moreover, it has been requested for zypper, too (FaTE #301918 - adding jkupec to Cc:). As this is not the first thing dropped/made obsolete from zypp more or less silently, I'd really appreciate if (in the future) we would be informed about such changes and about adequate replacement functionality (if any). Better late, than never at all (finding this out sheerly by accident). Zypp is a library that is used by other applications (package selectors, zypper,...) and without them, it's just dead kilo-lines of code in subversion. frozenB. -- \\\\\ Katarina Machalkova \\\\\\\__o YaST developer __\\\\\\\'/_ & hedgehog painter
* Katarina Machalkova
Resolver.cc (verifySystem): Will currently not be supported by the SAT-solver
This should be easily fixable in Resolver.cc sat-solver provides this functionality through the solver->fixsystem flag. Setting this to true and calling solve() will return a list of installed packages with broken dependencies. Klaus -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org For additional commands, e-mail: zypp-devel+help@opensuse.org
I have checked it again. It should be fixed since version version 4.2.5 which was checked it Fri Feb 16 15:47:00 libzypp revision : 8367 Greetings Stefan Klaus Kaempf schrieb:
* Katarina Machalkova
[Feb 27. 2008 17:19]: Resolver.cc (verifySystem): Will currently not be supported by the SAT-solver
This should be easily fixable in Resolver.cc
sat-solver provides this functionality through the solver->fixsystem flag. Setting this to true and calling solve() will return a list of installed packages with broken dependencies.
Klaus
-- ******************************************************************************* Stefan Schubert SUSE LINUX GmbH - Maxfeldstrasse 5 - D-90409 Nuernberg, Germany e-mail: schubi@suse.de ------------------------------------------------------------------------------- SUSE LINUX Products GmbH, GF: Markus Rex, HRB 16746 (AG Nürnberg) -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org For additional commands, e-mail: zypp-devel+help@opensuse.org
Hi Katarina, in this case I do not understand your problem. If we would like to drop this feature the interface would not existst anymore. We are switching the complete solver and are in the alpha stage. So, we cannot provide all features of the old solver at once. What you are expecting from us ? Shall we drop the call and add it in 3 or 4 weeks again ? I believe that this is not your intention :-) Greetings Stefan Katarina Machalkova schrieb:
Hi, zypp hackers,
while working on ncurses package selector redesign I have found out that yet another thing has been dropped (deprecated/obsoleted/temporarily unavailable) from zypp silently, without communicating this fact to those who are using the feature. In this case, maintainers of package selectors.
Facts: FaTE #301178 "Offer 'verify installed package dependencies' functionality in YaST" mandatory/important for SLE10 SP1 important for openSUSE 10.3 Requested by: kkaempf@novell.com Project Manager: visnov@novell.com (adding those to Cc:)
After selecting 'Verify system' entry from package selector menu, solver run should check package dependencies and take appropriate action to restore the consistency of the system (e.g. mark missing packages for installation)
However, this never happens, I'm getting false-positive result that all dependencies are correct (which is obviously not true) and this message in the log:
Resolver.cc (verifySystem): Will currently not be supported by the SAT-solver
Maybe I'm not having the most recent version of SAT-solver and this issue would be already settled if I made fresh svn checkout. In that case you may disregard this e-mail. Anyway, as this feature was mandatory, I believe it should not be dropped without adequate substitute. Moreover, it has been requested for zypper, too (FaTE #301918 - adding jkupec to Cc:).
As this is not the first thing dropped/made obsolete from zypp more or less silently, I'd really appreciate if (in the future) we would be informed about such changes and about adequate replacement functionality (if any). Better late, than never at all (finding this out sheerly by accident).
Zypp is a library that is used by other applications (package selectors, zypper,...) and without them, it's just dead kilo-lines of code in subversion.
frozenB.
-- ******************************************************************************* Stefan Schubert SUSE LINUX GmbH - Maxfeldstrasse 5 - D-90409 Nuernberg, Germany e-mail: schubi@suse.de ------------------------------------------------------------------------------- SUSE LINUX Products GmbH, GF: Markus Rex, HRB 16746 (AG Nürnberg) -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org For additional commands, e-mail: zypp-devel+help@opensuse.org
Hi Schubi (and others)
We are switching the complete solver and are in the alpha stage. So, we cannot provide all features of the old solver at once. What you are expecting from us ? Shall we drop the call and add it in 3 or 4 weeks again ? I believe that this is not your intention :-)
I'm expecting being better informed about changes in progress (e.g. in this particular case the feature being temporarily unavailable). I'd really like to see some fool-proof comprehensive list of dropped/changed/not-yet-ported zypp features (interfaces), so I can adjust, and plan adjustments of package selector accordingly. Maybe there already exists some wiki page, or minutes of some conf call and I've just overlooked it. Maybe there are different priorities ... I don't know. And maybe I'm expecting just too much. It is very frustrating to find out that things suddenly do not work the way they did before and have no information on why is this happening and what should be the steps to get the old behaviour back (e.g. in this particular case - do not panic and wait until the iface is available again) B. -- \\\\\ Katarina Machalkova \\\\\\\__o YaST developer __\\\\\\\'/_ & hedgehog painter
participants (3)
-
Katarina Machalkova
-
Klaus Kaempf
-
Stefan Schubert