On Sat, Feb 18, 2017 at 9:39 AM, Ben Finney wrote:
> Does the resulting repository automatically get published on Alioth,
> managed by ‘cgit’ at a ‘anonscm.debian.org’ URL?
cgit doesn't do any management, it just publishes existing repos.
User repositories are available at URLs like these:
http
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
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, thi
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 sc
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 writes:
> For a debian.org service, I would like to be able to check out the
> running version without interacting with a proprietary online service.
I have been looking at the GitLab instance hosted at FOSS Community
India's servers, https://git.fosscommunity.in/>. It's been working
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!
>
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 sc
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 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 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
[ 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
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 fa
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,
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 yo
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
>
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
> bl
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
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
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
46 matches
Mail list logo
