On Wed, 08 Feb 2017, Wouter Verhelst wrote:
> On Thu, Jan 19, 2017 at 06:20:30PM +0100, Michael Stapelberg wrote:
> > Would a mirror of the git repository on alioth be sufficient? I had
> > planned to set that up, but didn’t get around to it yet. Any help with
> > that would be very welcome.
>
>
On Thu, Jan 19, 2017 at 06:20:30PM +0100, Michael Stapelberg wrote:
> Would a mirror of the git repository on alioth be sufficient? I had
> planned to set that up, but didn’t get around to it yet. Any help with
> that would be very welcome.
I realize you've already done so, but for future referenc
On Wed, Jan 18, 2017 at 06:23:16PM +0100, Michael Stapelberg wrote:
> We’d love to hear your feedback and thoughts.
Thanks, really nice. This should motivate me to create manpages some
of my packages are missing. May https://manpages.debian.org/ rise
high in search engine rankings!
Riku
Hi Michael
Am 18.01.2017 um 18:23 schrieb Michael Stapelberg:
> https://manpages.debian.org has been modernized! We have just launched
Thanks a lot, this looks really nice.
One feature I'd like to see added is search as you type, like
tracker.d.o offers.
Regards,
Michael
--
Why is it that
Hi,
Michael Stapelberg (2017-01-18):
> 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.
Many thanks, this looks like
On Thu, Jan 19, 2017 at 4:24 AM Michael Stapelberg
wrote:
> Furthermore, the design of the site has been updated and now includes
>
navigation panels that allow quick access to the manpage in other
> Debian versions, other binary packages, other sections and other
> languages. Speaking of languag
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
>>> > publicly available. And, unless this is made so easy that the service
>>&g
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 using SV
On Wed, 2017-01-25 at 09:09 +0100, Michael Stapelberg wrote:
> 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.
The SVG is downloaded but there is no fallback on high security.
I wouldn't worry about
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 correct place. I can take care of it if
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 correct place. I can take care of it if you want me
> to.
Thanks Michael. I suggest we wait some time (a month?), go then through the
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:
>>
>>
>
On 20 January 2017 at 10:25, Javier Fernandez-Sanguino
wrote:
>
>
> This weekend I will modify the CGI so that it redirects to the new
> (static) content for users that at some point still go to the old one. It
> seems that the redirects get cached in the browser permanently because I
> (wrongly)
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 fallback in a w
On Mon, 2017-01-23 at 08:47 +0100, Michael Stapelberg wrote:
> Could you clarify how I can implement a fallback in a way that works
> for Tor Browser please?
The solution here appears to work:
https://css-tricks.com/a-complete-guide-to-svg-fallbacks/#fallback-object
In this case, the page cons
On 23 January 2017 at 08:49, Paul Wise wrote:
> On Mon, 2017-01-23 at 08:45 +0100, Michael Stapelberg wrote:
>
> > What would be the best way to trigger on mirror pushes?
>
> I'm not sure about that, please ask #debian-mirrors
> or failing that #debian-admin, and or the lists.
Basicly, you give
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#USRSHAREARCHITECTUREINDEPENDENTDATA)
>> and
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 script is now a statically gen
On Mon, 2017-01-23 at 08:45 +0100, Michael Stapelberg wrote:
> What would be the best way to trigger on mirror pushes?
I'm not sure about that, please ask #debian-mirrors
or failing that #debian-admin, and or the lists.
--
bye,
pabs
https://wiki.debian.org/PaulWise
signature.asc
Description:
Ian Jackson schrieb am Donnerstag, dem 19. Jänner 2017:
> Michael Stapelberg writes ("Re: manpages.debian.org has been modernized!"):
> > On Thu, Jan 19, 2017 at 4:46 PM, Ian Jackson
> > > AFAICT this program is not packaged for Debian.
> >
> > The p
Michael Stapelberg writes ("Re: manpages.debian.org has been modernized!"):
> On Thu, Jan 19, 2017 at 4:46 PM, Ian Jackson
> > AFAICT this program is not packaged for Debian.
>
> The program is packaged for Debian:
> https://packages.debian.org/stretch/mandoc. I have
Michael Stapelberg writes ("Re: manpages.debian.org has been modernized!"):
> On Thu, Jan 19, 2017 at 4:43 PM, Ian Jackson
> wrote:
> > mariner:~> curl -s
> > 'https://manpages.debian.org/cgi-bin/man.cgi?query=make&apropos=0&sektion=0&manpath=De
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!
>
> [...]
>>
>> We’d love t
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
>>
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
>> >
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
> > paragraph tags.
>
> Could you report this issue upstream
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
> > publicly available. And, unless this is made so easy that the service
Hello,
Le 18/01/2017 18:23, Michael Stapelberg a écrit :
https://manpages.debian.org has been modernized!
[...]
We’d love to hear your feedback and thoughts.
One little remark : the links in the table of content are inactives
because spaces are not translated to underscores :
EXIT
STATUS
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#USRSHAREARCHITECTUREINDEPENDENTDATA)
> and Debian policy?
I suppose. I don't think we test for it though?
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 script is now a statically gen
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 you would like to use it to
>> run a
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
>> CGI script is now a statically
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 launched
>
>> a major update to our manpa
[ 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 launched
> a major update to our manpage repository. What used to be served via a
> CGI script is now a statically generated
On Thu, Jan 19, 2017 at 6:37 AM, Ian Jackson wrote:
> As you might expect, I'm uncomfortable about the use of the
> proprietary github service for this. I realise that we don't
> necessarily have entirely comparable alternatives, but Free Software
> needs free tools.[1]
Agreed for both bugs and
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 script is now a statically generated website, and therefore
> blazingly fast.
My dman
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
> CGI script is now a statically generated website, and therefore
> blazingly fast.
Oooh, nice! A big tha
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 you would like to use it to
> run a similar manpage repository (or convert your existing manpage
>
On 2017-01-18 18:23, Michael Stapelberg wrote:
> https://manpages.debian.org has been modernized!
Congrats and thanks! I like it!
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
>> CGI script is now a static
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
> CGI script is now a statically generated website, and therefore
> blazingly fast.
>
>
On mercoledì 18 gennaio 2017, at 18:23 +0100, Michael Stapelberg wrote:
Hi!
> 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
> blazing
Huzzahs! Congrats!
What an enormous piece of work you have brought to wonderful
fruition!
Cigars all 'round!
--
IMPORTANT: This email is intended for the use of the individual
addressee(s) named above and may contain information that is
confidential, privileged or unsuitable for overly sensit
43 matches
Mail list logo
