Bug#873852: [Reportbug-maint] Bug#873852: No shortcut for debian-installer

2018-05-13 Thread Holger Wansing
Hi, Am Sonntag, 13. Mai 2018 schrieb Sandro Tosi: > On Sun, May 13, 2018 at 11:51 AM Cyril Brulebois wrote: > > > Hi, > > > Sandro Tosi (2018-05-13): > > > Hey debian-boot@ ! do you have any thoughts on this suggestions? do you > > > feel the current rate of bug reports is impacted by the iss

Bug#873852: [Reportbug-maint] Bug#873852: No shortcut for debian-installer

2018-05-13 Thread Sandro Tosi
On Sun, May 13, 2018 at 11:51 AM Cyril Brulebois wrote: > Hi, > Sandro Tosi (2018-05-13): > > Hey debian-boot@ ! do you have any thoughts on this suggestions? do you > > feel the current rate of bug reports is impacted by the issue Eduard > > reported? what would you like to see here? thanks!

Bug#873852: [Reportbug-maint] Bug#873852: No shortcut for debian-installer

2018-05-13 Thread Cyril Brulebois
Hi, Sandro Tosi (2018-05-13): > Hey debian-boot@ ! do you have any thoughts on this suggestions? do you > feel the current rate of bug reports is impacted by the issue Eduard > reported? what would you like to see here? thanks! Why isn't “Joe user” checking what the installation guide recommends

Bug#873852: [Reportbug-maint] Bug#873852: No shortcut for debian-installer

2018-05-13 Thread Sandro Tosi
> I tried to report a bug in the debian installer with reportbug. Doing > this with "Joe user attitude", not looking for the actual virtual > package name and other resources. I tried: > reportbug install > reportbug installer > reportbug (and then selecting other and looking for debian-installer