Stream: t-compiler/wg-meta

Topic: compiler-team#73 convert to gh pages


Iñaki Garay (May 03 2019 at 17:57, on Zulip):

Hello @nikomatsakis Some questions on behalf of @Federico Carrone wrt the conversion the compiler-team repo to a github-pages rendered version.

1) Is jekyll a hard requirement or can some other static site generator be used? We think something that is active and implemented in rust itself would be good, and recommend zola (https://www.getzola.org/) (https://github.com/getzola/zola)

2) In particular, just to get Fede moving along, this theme looks nice: https://zola-even.netlify.com/

3) Fede's plan is to implement the scripts and temporarily host is somewhere where the rendered version can be reviewed, prior to merging and having whoever handles the particulars incorporate the scripts to infra CI. Comments?

nikomatsakis (May 03 2019 at 18:09, on Zulip):

Jekyll is not a hard requirement

nikomatsakis (May 03 2019 at 18:09, on Zulip):

I'm never heard of Zola

nikomatsakis (May 03 2019 at 18:09, on Zulip):

but impl'd in Rust sounds like a plus :)

nikomatsakis (May 03 2019 at 18:09, on Zulip):

though if we get stuck with something that's not maintained, that could be a drag

nikomatsakis (May 03 2019 at 18:09, on Zulip):

Woah, i'd never heard of zola or cobalt

nikomatsakis (May 03 2019 at 18:10, on Zulip):

anyway, not that big a deal, we could always change later

nikomatsakis (May 03 2019 at 18:10, on Zulip):

I agree we should use something in Rust :)

Federico Carrone (May 03 2019 at 18:18, on Zulip):

zola is really good. i have played with it a lot

Federico Carrone (May 03 2019 at 18:19, on Zulip):

i find it superior to jekyll or hugo and I have been using the two for ages. i have not tested cobalt, but zola seems a little bit better

Federico Carrone (May 03 2019 at 18:19, on Zulip):

i am already creating the webpages

nikomatsakis (May 03 2019 at 18:24, on Zulip):

cool!

davidtwco (May 03 2019 at 18:43, on Zulip):

Fede's plan is to implement the scripts and temporarily host is somewhere where the rendered version can be reviewed, prior to merging and having whoever handles the particulars incorporate the scripts to infra CI. Comments?

I’ve not used Zola but wouldn’t you be able to generate the site and then overwrite the gh-pages branch with the contents in a Travis job and that would handle the hosting? I think that would let us proceed without any needing to bother the infra team.

Federico Carrone (May 03 2019 at 18:53, on Zulip):

that is correct. it is what I do for my own sites like http://spawnedshelter.com/ or https://github.com/unbalancedparentheses/spawnedshelter

Pietro Albini (May 03 2019 at 18:58, on Zulip):

btw, we as t-infra are trying to setup a standardized static websites hosting

Pietro Albini (May 03 2019 at 18:59, on Zulip):

so please bother us :)

nikomatsakis (May 09 2019 at 16:48, on Zulip):

Any updates @Federico Carrone ?

nikomatsakis (May 09 2019 at 16:52, on Zulip):

Just curious :)

davidtwco (May 09 2019 at 16:52, on Zulip):

@nikomatsakis compiler-team#83

Federico Carrone (May 09 2019 at 16:57, on Zulip):

yes, I started the PR, did not have yet time to finish it

Federico Carrone (May 09 2019 at 16:57, on Zulip):

https://github.com/rust-lang/compiler-team/pull/83/files

Federico Carrone (May 09 2019 at 16:58, on Zulip):

Screen-Shot-2019-05-04-at-22.06.09.png

nikomatsakis (May 09 2019 at 16:59, on Zulip):

cool

Federico Carrone (May 09 2019 at 16:59, on Zulip):

it is a little bit different from jekyll and hugo, so it took me some time to understand how it works. i should have something that you can review by the end of the week

nikomatsakis (May 09 2019 at 17:02, on Zulip):

Nice <3 not trying to pressure you :)

Last update: Nov 11 2019 at 22:40UTC