It’s definitely not a bug to choose a section for the user, since we can’t
serve pages without choosing :).
What you’re trying to say is that section choice should happen after
language matching. This might work. I’ve filed
https://github.com/Debian/debiman/issues/63 for it.
On Sat, Feb 25, 2017
On Sat, Feb 25, 2017 at 4:15 PM, Michael Stapelberg wrote:
> It doesn’t unconditionally prefer Spanish pages over English pages. What
> you’re seeing is that it picks a section first (1 instead of 8, in this
> case) and sticks to it. In section 1, the best match for an English request
> is the Spa
It doesn’t unconditionally prefer Spanish pages over English pages. What
you’re seeing is that it picks a section first (1 instead of 8, in this
case) and sticks to it. In section 1, the best match for an English request
is the Spanish page, because there is no English page.
The rationale behind t
On Fri, Feb 24, 2017 at 6:01 PM, Javier Fernandez-Sanguino wrote:
> The redirector tries to find the "best" manpage and forwards you to
> that one. Unfortunatley, this seems to be a bug in the
> manpages-es-extra manpage, which provides a chroot manpage in section
> 1 (instead of section 8, where
On 02/23/2017 09:57 PM, Paul Wise wrote:
On Thu, Feb 23, 2017 at 11:36 PM, Richard Owlett wrote:
I just went to https://manpages.debian.org/ and entered chroot in the search
box.
This isn't the right mailing list to discuss problems with that site:
https://manpages.debian.org/about.html
http
(Note: copying debian-doc as this is where we discuss any issues with
the manpages service)
On 23 February 2017 at 16:36, Richard Owlett wrote:
> I just went to https://manpages.debian.org/ and entered chroot in the search
> box.
>
> It sent me to
> https://manpages.debian.org/jessie/manpages-es-
On Thu, Feb 23, 2017 at 11:36 PM, Richard Owlett wrote:
> I just went to https://manpages.debian.org/ and entered chroot in the search
> box.
This isn't the right mailing list to discuss problems with that site:
https://manpages.debian.org/about.html
https://wiki.debian.org/manpages.debian.org
I just went to https://manpages.debian.org/ and entered chroot in the
search box.
It sent me to
https://manpages.debian.org/jessie/manpages-es-extra/chroot.1.es.html .
But I don't speak Spanish.
To verify it was not a problem on my end I searched for debootstrap.
It correctly sent me to
htt
8 matches
Mail list logo
