Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread Johannes Schauer
Hi, Quoting Julian Andres Klode (2016-08-18 22:47:51) > On Thu, Aug 18, 2016 at 08:37:00PM +, Ximin Luo wrote: > > What do you mean by "document the other options properly"? > > For example, > APT::Solver::Preferences > APT::Solver::Strict-Pinning > should probably be documented in

Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread Ximin Luo
Julian Andres Klode: > On Thu, Aug 18, 2016 at 08:37:00PM +, Ximin Luo wrote: >>> I have that patched locally too, that's not a big deal. The big deal is >>> documenting the other options properly and not refer to the .txt file >>> for developers that describes the entire protocol. >>> >> >>

Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread Julian Andres Klode
On Thu, Aug 18, 2016 at 08:37:00PM +, Ximin Luo wrote: > > I have that patched locally too, that's not a big deal. The big deal is > > documenting the other options properly and not refer to the .txt file > > for developers that describes the entire protocol. > > > > What do you mean by

Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread Ximin Luo
Julian Andres Klode: > Control: severity -1 minor > Control: tags -1 - patch > > On Thu, Aug 18, 2016 at 08:01:00PM +, Ximin Luo wrote: >> Control: severity -1 important >> Control: tags -1 + patch >> >> Patch attached. I didn't update the .po files yet because I supposed >> there might be a

Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread Manuel A. Fernandez Montecelo
Control: severity -1 minor 2016-08-18 21:01 GMT+01:00 Ximin Luo : > Control: severity -1 important > Control: tags -1 + patch > > Patch attached. I didn't update the .po files yet because I supposed there > might be a way to automate the c+p of the English parts, which

Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread Julian Andres Klode
Control: severity -1 minor Control: tags -1 - patch On Thu, Aug 18, 2016 at 08:01:00PM +, Ximin Luo wrote: > Control: severity -1 important > Control: tags -1 + patch > > Patch attached. I didn't update the .po files yet because I supposed > there might be a way to automate the c+p of the

Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread Ximin Luo
Control: severity -1 important Control: tags -1 + patch Patch attached. I didn't update the .po files yet because I supposed there might be a way to automate the c+p of the English parts, which I'll defer to you guys. Manuel A. Fernandez Montecelo: > Control: severity -1 minor > > Hi, > >

Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread Manuel A. Fernandez Montecelo
Control: severity -1 minor Hi, 2016-08-18 12:49 Ximin Luo: Package: apt Version: 1.3~rc1 Followup-For: Bug #674523 Control: severity -1 important Hi, I'm bumping the severity for this because it's many years old, and it is hiding an important feature from users. I disagree. If anything,

Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread Ximin Luo
David Kalnischkies: > On Thu, Aug 18, 2016 at 01:49:52PM +0200, Ximin Luo wrote: >> Control: severity -1 important >> >> Hi, I'm bumping the severity for this because it's many years old, and it is >> hiding an important feature from users. > > *sigh* I implemented EDSP "all these years" ago and

Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread David Kalnischkies
On Thu, Aug 18, 2016 at 01:49:52PM +0200, Ximin Luo wrote: > Control: severity -1 important > > Hi, I'm bumping the severity for this because it's many years old, and it is > hiding an important feature from users. *sigh* I implemented EDSP "all these years" ago and even I have no intention of

Bug#674523: apt-get manpage: please document option --solver

2016-08-18 Thread Ximin Luo
Package: apt Version: 1.3~rc1 Followup-For: Bug #674523 Control: severity -1 important Hi, I'm bumping the severity for this because it's many years old, and it is hiding an important feature from users. manpages are a very common way for users to learn about new features, and I didn't even know

Bug#674523: apt-get manpage: please document option --solver

2012-05-25 Thread Ralf Treinen
Package: apt Version: 0.9.3 Severity: minor The apt-get manpage should document the option --solver (for plugging-in an external solver) -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ = New