[Bug 358560] New: Solver messages still highly confusing
https://bugzilla.novell.com/show_bug.cgi?id=358560 Summary: Solver messages still highly confusing Product: openSUSE 11.0 Version: Alpha 2 Platform: Other OS/Version: Other Status: NEW Severity: Normal Priority: P5 - None Component: libzypp AssignedTo: dmacvicar@novell.com ReportedBy: msvec@novell.com QAContact: dmacvicar@novell.com Found By: --- For instance: bash# zypper rm dclib [...] Problem: valknut-0.3.11-0.pm.3.i586 requires libdc.so.0, but none of the providers can be installed Solution 1: deinstallation of valknut-0.3.11-0.pm.3.i586 Solution 2: keep dclib Much better would be something like this: | Problem: unsatisfied dependencies for these packages: valknut, blah1, bah, .. | | Deinstall: valknut dclib | Continue (Y/n)? -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User coolo@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c1 --- Comment #1 from Stephan Kulow <coolo@novell.com> 2008-02-04 08:52:13 MST --- keeping dclib and removing valknut are two _different_ solutions :) And that's libdc.so.0 that is the missing dependency is highly important to fix the underlying problem for someone having tons of repos,so I would strongly disagree to oversimplify it. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User msvec@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c2 --- Comment #2 from Michal Svec <msvec@novell.com> 2008-02-04 09:03:22 MST --- Well, maybe I oversimplified a bit but proposals with two solutions out of which one is not to do anything could be simply replaced with Y/N questions :) And second, we could also do Continue(Yes/no/details)? Or maybe just this part looks weird: "one of the providers can be installed", we could definitely write it as "it's not provided by any package". Or "Nothing provides libdc.so.0 required by package valknut". Etc :) -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 Duncan Mac-Vicar <dmacvicar@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |schubi@novell.com AssignedTo|dmacvicar@novell.com |mls@novell.com -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User mls@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c3 Michael Schröder <mls@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|mls@novell.com |jkupec@novell.com --- Comment #3 from Michael Schröder <mls@novell.com> 2008-02-15 08:24:50 MST --- Well, we could not display the "don't do what you requested" proposal for the simple zypper jobs. We still have to ask the user, so it's not really such a big difference. Nothing to change for in the solver, just in zypper. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User jkupec@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c4 Ján Kupec <jkupec@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |NEEDINFO Info Provider| |mls@novell.com --- Comment #4 from Ján Kupec <jkupec@novell.com> 2008-02-18 04:00:30 MST --- Does the sat solver support the setForceResolve() setting? The old solver would used to come to a solution in the above case if forceResolve() == true and would return the dependency problem otherwise. Zypper used forceResolve() == true by default. Isn't this mode implemented in the sat solver? It makes no sense to code such thing in zypper, it should be solver's business. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User mls@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c5 Michael Schröder <mls@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |mls@novell.com Status|NEEDINFO |NEW Info Provider|mls@novell.com | --- Comment #5 from Michael Schröder <mls@novell.com> 2008-02-18 05:43:16 MST --- Sure it does, but zypper should *not* set it to true by default! -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User jkupec@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c6 Ján Kupec <jkupec@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |NEEDINFO Info Provider| |mls@novell.com --- Comment #6 from Ján Kupec <jkupec@novell.com> 2008-02-18 05:54:19 MST --- (In reply to comment #5 from Michael Schröder)
Sure it does But it seem it is not working then, zypper tries to use it, but it looks like forceResolve == false is used.
but zypper should *not* set it to true by default! Why not? I can't think of a use case where it might hurt in the interactive mode, where the user must confirm that he wants to continue with the transaction.
-- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User mls@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c7 Michael Schröder <mls@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEEDINFO |NEW Info Provider|mls@novell.com | --- Comment #7 from Michael Schröder <mls@novell.com> 2008-02-18 06:00:49 MST --- If it doesn't work, there's a bug in the libzypp layer. I don't like forceResolve because you're not presented a list of choices if it is set, but a single yes/no. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User jkupec@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c8 Ján Kupec <jkupec@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|jkupec@novell.com |schubi@novell.com --- Comment #8 from Ján Kupec <jkupec@novell.com> 2008-02-18 06:24:44 MST --- (In reply to comment #7 from Michael Schröder)
If it doesn't work, there's a bug in the libzypp layer. i guess that's what this bug is all about
I don't like forceResolve because you're not presented a list of choices if it is set, but a single yes/no.
It is the default, but you can switch it on/off with an CL option (--force-resolution, -R). I guess we concluded most people want this behavior in most cases (just like Michal). Who wants to consult the choices with the solver turns this off. It should look like (and it is how it used to work before): bash# zypper rm dclib [...] The following packages are going to be REMOVED: dclib valknut [...] Do you want to continue? [y/n] Schubi, will you take care of this? -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User schubi@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c9 Stefan Schubert <schubi@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |WONTFIX --- Comment #9 from Stefan Schubert <schubi@novell.com> 2008-02-19 03:24:18 MST --- This solution may work fine with single actions like the call which is described in comment#0. But please take in mind that we are using these problems/solutions in the UI and multiple selections too. What should happens if an error happens in calls like zypper rm foo1, foo2, foo3, foo4, bar1, bar2 ? Then the user wants the decision for each foo and bar how to go on. Michal, I would like to close this "bug" cause the user is used to make a decision 1 or 2 or 3 or... in ALL cases. This behaviour should not be changed if there is a single action in zypper only. Feel free to reopen the bug if you have another opinion ;-) -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User msvec@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c10 --- Comment #10 from Michal Svec <msvec@novell.com> 2008-02-19 03:31:34 MST --- (In reply to comment #9 from Stefan Schubert)
Michal, I would like to close this "bug" cause the user is used to make a decision 1 or 2 or 3 or... in ALL cases. This behaviour should not be changed if there is a single action in zypper only.
Well, I'd probably question this approach because I've noticed several cases where users were confused by this "numbering" scheme and did not get what are they asked for. But as long as I'm the only one complaining I guess we can leave it as it is :)
Feel free to reopen the bug if you have another opinion ;-)
Can we at least have a better message instead of this one? Problem: valknut-0.3.11-0.pm.3.i586 requires libdc.so.0, but none of the providers can be installed -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User schubi@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c11 Stefan Schubert <schubi@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|WONTFIX | --- Comment #11 from Stefan Schubert <schubi@novell.com> 2008-02-19 04:01:28 MST --- Yes, that's an argument ! Much more better would be: "valknut-0.3.11-0.pm.3.i586 requires libdc.so.0 which is provided by the deleted dclib." Reopen the bug. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User jkupec@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c12 Ján Kupec <jkupec@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jkupec@novell.com --- Comment #12 from Ján Kupec <jkupec@novell.com> 2008-02-21 02:34:47 MST --- Schubi(In reply to comment #9 from Stefan Schubert)
This solution may work fine with single actions like the call which is described in comment#0.
Why? I see no reason why zypper rm foo1 foo2 bar1 bar2 shouldn't behave like this either (when forceResolve(true)!!). It _worked_ like this before. I really think the problem is that forceResolve() is not working. Maybe bug 363545 is a duplicate of this? -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=358560 User schubi@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=358560#c13 Stefan Schubert <schubi@novell.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution| |FIXED --- Comment #13 from Stefan Schubert <schubi@novell.com> 2008-03-04 08:17:49 MST --- Now you are getting following error message:
!> Problem: !> readline-devel-5.2-86.i586 requires /lib/libhistory.so.5.2, but this requirement cannot be provided
In the detail description:
!> deleted providers: libreadline5-5.2-83.8.i586[@System] !> uninstallable providers: libreadline5-5.2-45.i586[openSUSE-FACTORY_11.0]
comment #12 forceResolve() is working correctly. This call returns only the flag. It is up to zypper or the user to set this opition in order to make no decisions. But wee need error messages in the UI and other applications too. So, these are two different kind of solving which do not object eachother. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
participants (1)
-
bugzilla_noreply＠novell.com