[Aptitude-devel] Bug#999766: aptitude: in the TUI, with "+m" on a piA package, aptitude doesn't remember the manually installed state

[Vincent Lefevre]

On 2021-11-16 14:53:15 +0100, Vincent Lefevre wrote:
> I've output debug information with the following two cases, quitting
> after step 6:
>   * '+' is used (before 'm');
>   * '+' is not used.
> 
> The only differences with --log-level=debug (after filtering out
> the prefix of each log line) except a PID difference in the name
> of the temporary file:
[...]

And with --log-level=trace, the first difference changes to:

@@ -2798559,7 +2798559,8 @@
 aptitude_resolver.cc:1762 DEBUG aptitude.resolver.scores - ** Score: +1 for gcc-sh4-linux-gnu:amd64 4:10.2.1-1 (aptitude::ProblemResolver::OptionalScore).
 aptitude_resolver.cc:1762 DEBUG aptitude.resolver.scores - ** Score: +1 for gcc-sh4-linux-gnu:i386 4:11.2.0--1 (aptitude::ProblemResolver::OptionalScore).
 aptitude_resolver.cc:1762 DEBUG aptitude.resolver.scores - ** Score: +1 for gcc-sh4-linux-gnu:i386 4:10.2.1-1 (aptitude::ProblemResolver::OptionalScore).
-resolver_manager.cc:581 DEBUG aptitude.resolver.thread - Resolver thread: got a new job { solution number = 0, max steps = 500000, continuation = 0x5588ba253ed0 }
+resolver_manager.cc:565 TRACE aptitude.resolver.thread - Resolver thread: waiting for a job.
+resolver_manager.cc:581 DEBUG aptitude.resolver.thread - Resolver thread: got a new job { solution number = 0, max steps = 500000, continuation = 0x55c4f59b2ed0 }
 problemresolver.h:4592 INFO aptitude.resolver.search - Starting a new search.
 problemresolver.h:3239 TRACE aptitude.resolver.search - Marking the dependency why3-coq:amd64 1.3.3-3 -> {coq:amd64 8.12.0-3+b3} as unresolved in step 0
 problemresolver.h:2634 TRACE aptitude.resolver.search - Adding the solver Install(coq:amd64 8.12.0-3+b3 <why3-coq:amd64 1.3.3-3 -> {coq:amd64 8.12.0-3+b3}>) with initial cost (nop)

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)