Stream: general

Topic: rfc underscores


Jake Goulding (Feb 20 2019 at 17:36, on Zulip):

@centril how much disaster would it be to rename RFC files to a consistent underscore or hyphen naming style?

RalfJ (Feb 20 2019 at 17:58, on Zulip):

well all sorts of links would break

Jake Goulding (Feb 20 2019 at 20:47, on Zulip):

Another is the fateful de­ci­sion of the author of make to have the space char­ac­ter and the (visually identical) tab char­ac­ter do very dif­fer­ent things. Very early on, the story goes, the author re­al­ized that this was a mistake, but by that point dozens of people were relying on it—backward-compatibility needed to be preserved—and so the tabs had to stay.

centril (Feb 20 2019 at 22:42, on Zulip):

please don't do it :slight_smile: Ralf is right

Jake Goulding (Feb 20 2019 at 23:43, on Zulip):

@centril can you add it to your checks when merging new RFCs then?

centril (Feb 20 2019 at 23:44, on Zulip):

@Jake Goulding to always use hyphens? I try to, but... one forgets, and sometimes other people merge RFCs

RalfJ (Feb 21 2019 at 08:02, on Zulip):

I mean I am all for consistency. I'm just saying we need redirects.

Dale Wijnand (Feb 21 2019 at 08:48, on Zulip):

@Jake Goulding to always use hyphens? I try to, but... one forgets, and sometimes other people merge RFCs

CI validation on RFC PRs?

Dale Wijnand (Feb 21 2019 at 08:54, on Zulip):

Alternatively move to rendering the rfcs repo as GitHub Pages, where redirecting is available... </can-of-worms>

centril (Feb 21 2019 at 13:21, on Zulip):

@Dale Wijnand we do that already? https://rust-lang.github.io/rfcs/

I need to read RFCs a lot and I like that I can just use my browsers search history to navigate to things I remember, that saves me plenty of time

Dale Wijnand (Feb 21 2019 at 13:29, on Zulip):

First of all TIL!

Dale Wijnand (Feb 21 2019 at 13:29, on Zulip):

But maybe we should use that as the URL for "Rendered" (post-merge)?

centril (Feb 21 2019 at 13:32, on Zulip):

I think the rendering on GH looks substantially better than mdbook and changing this adds more work for me, so I prefer things the way they are now

Dale Wijnand (Feb 21 2019 at 18:05, on Zulip):

Yeah, I see, we'd need to invest some time to do away with some of that manual work.

Last update: Nov 20 2019 at 11:30UTC