https://manpages.debian.org has been modernized! We have just launched
a major update to our manpage repository. What used to be served via a
CGI script is now a statically generated website, and therefore
blazingly fast.
While we were at it, we have restructured the paths so that we can
serve all
On Wed, Jan 18, 2017 at 8:48 PM, Brian Potkin wrote:
> On Wed 18 Jan 2017 at 18:23:16 +0100, Michael Stapelberg wrote:
>
>> https://manpages.debian.org has been modernized! We have just launched
>> a major update to our manpage repository. What used to be served via a
>
On Thu, Jan 19, 2017 at 5:33 AM, Boyuan Yang <073p...@gmail.com> wrote:
> [ Dropping debian-devel -- this is a bug-report email ]
>
>
>
> 在 2017年1月18日星期三 SGT 下午6:23:16，Michael Stapelberg 写道：
>
>> https://manpages.debian.org has been modernized! We have just launc
On Thu, Jan 19, 2017 at 1:05 AM, Henrique de Moraes Holschuh
wrote:
> On Wed, 18 Jan 2017, Michael Stapelberg wrote:
>> https://manpages.debian.org has been modernized! We have just launched
>> a major update to our manpage repository. What used to be served via a
>>
On Wed, Jan 18, 2017 at 11:37 PM, Ian Jackson
wrote:
> Michael Stapelberg writes ("manpages.debian.org has been modernized!"):
>> https://manpages.debian.org has been modernized!
>
> Awesome! Thanks to everyone.
>
>> https://github.com/Debian/debiman. In case yo
On Thu, Jan 19, 2017 at 4:41 AM, Paul Wise wrote:
> On Thu, Jan 19, 2017 at 1:23 AM, Michael Stapelberg wrote:
>
>> https://manpages.debian.org has been modernized! We have just launched
>> a major update to our manpage repository. What used to be served via a
>> CGI sc
On Thu, Jan 19, 2017 at 4:43 PM, Ian Jackson
wrote:
> Michael Stapelberg writes ("Re: manpages.debian.org has been modernized!"):
>> On Wed, Jan 18, 2017 at 11:37 PM, Ian Jackson
>> > Also, I think the exact running version of Debian services should be
>> >
On Thu, Jan 19, 2017 at 4:46 PM, Ian Jackson
wrote:
> Michael Stapelberg writes ("Re: manpages.debian.org has been modernized!"):
>> On Thu, Jan 19, 2017 at 4:41 AM, Paul Wise wrote:
>> > The manual page converter seems to use line breaks rather than proper
>>
Thanks for the report! This issue is now tracked at
https://github.com/Debian/debiman/issues/39
On Thu, Jan 19, 2017 at 4:14 PM, Baptiste Jammet wrote:
> Hello,
>
> Le 18/01/2017 18:23, Michael Stapelberg a écrit :
>>
>> https://manpages.debian.org has been modernized!
>
On Thu, Jan 19, 2017 at 11:52 AM, Paul Wise wrote:
> On Thu, 2017-01-19 at 09:35 +0100, Michael Stapelberg wrote:
>
>> To: Paul Wise
>
> I'm subscribed :)
>
>> No. Isn’t that a violation of the FHS (see
>> http://www.pathname.com/fhs/pub/fhs-2.3.html#USRSH
On Thu, Jan 19, 2017 at 4:41 AM, Paul Wise wrote:
> On Thu, Jan 19, 2017 at 1:23 AM, Michael Stapelberg wrote:
>
>> https://manpages.debian.org has been modernized! We have just launched
>> a major update to our manpage repository. What used to be served via a
>> CGI sc
I’m using SVG because it scales to whichever DPI your monitor might
have. I’ll have a look at switching to later, thanks.
On Mon, Jan 23, 2017 at 10:00 AM, Paul Wise wrote:
> On Mon, 2017-01-23 at 08:47 +0100, Michael Stapelberg wrote:
>
>> Could you clarify how I can implement a f
Thanks!
I think we could put rewriterules in place to redirect hotlinks to the
cgi script to the correct place. I can take care of it if you want me
to.
On Mon, Jan 23, 2017 at 10:19 PM, Javier Fernandez-Sanguino
wrote:
>
> On 20 January 2017 at 10:25, Javier Fernandez-Sanguino
> wrote:
>>
>>
>
Makes sense to me.
On Tue, Jan 24, 2017 at 9:34 AM, Javier Fernandez-Sanguino
wrote:
> On 23 January 2017 at 22:22, Michael Stapelberg
> wrote:
>>
>> Thanks!
>>
>> I think we could put rewriterules in place to redirect hotlinks to the
>> cgi script to the cor
The fallback has a drawback: it downloads both assets,
regardless of support.
Could you please verify whether the -based fallback works for
you? See https://people.debian.org/~stapelberg/fallback/i3.1.en.html
for a demo.
On Mon, Jan 23, 2017 at 10:02 AM, Michael Stapelberg
wrote:
> I’m us
source of the debian-specific assets we use.
This should give you everything you need to reproduce byte-for-byte
identical output.
On Thu, Jan 19, 2017 at 6:20 PM, Michael Stapelberg
wrote:
> On Thu, Jan 19, 2017 at 4:43 PM, Ian Jackson
> wrote:
>> Michael Stapelberg
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
at 9:22 AM, Paul Wise wrote:
> 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
nit: the correct capitalization of systemd is “systemd” (i.e. all
lowercase) :)
On Mon, Apr 17, 2017 at 3:33 PM, Antoine Beaupre
wrote:
> Control: tag -1 +patch
>
> On Mon, Apr 17, 2017 at 09:19:07AM -0400, Antoine Beaupre wrote:
> > On Sun, Jun 07, 2015 at 08:32:54AM +0200, Samuel Thibault wrot
This is already tracked at https://github.com/Debian/debiman/issues/48.
On Thu, Apr 27, 2017 at 3:04 AM, Paul Wise wrote:
> Package: manpages.debian.org
> Severity: wishlist
>
> It would be very very useful to be able to reference individual
> command-line options or subcommands (for things like
It is currently 12:26 in my time zone. I can be available to look at issues
starting roughly 19:00 today. Can you do the update in the meantime? Even
if the VM died, serving should not be impacted: the redirects are also done
by cgi-grnet-01, and the generated static pages would go stale.
On Mon,
Hey,
someone just mentioned on twitter that they are running into
(intermittent?) 403 errors when accessing e.g.
https://manpages.debian.org/buster/openssh-client/ssh.1.en.html:
https://twitter.com/attero_/status/1173899061063233541
Any ideas as to what could be the cause of this?
Thanks,
--
(Fixing subject line)
On Tue, Sep 17, 2019 at 6:37 PM Michael Stapelberg
wrote:
> Hey,
>
> someone just mentioned on twitter that they are running into
> (intermittent?) 403 errors when accessing e.g.
> https://manpages.debian.org/buster/openssh-client/ssh.1.en.html:
>
>
gt; > your questions; the code which runs manpages.debian.org is
>
> I did read the FAQ before reading the bug reports or mailing this
> list, and the answers to my two questions above are not to be found in
> the FAQ, hence I was hoping somebody on the mailing list wo
24 matches
Mail list logo
