Skip to content
This repository has been archived by the owner on May 20, 2020. It is now read-only.

Flag: playground url #146

Open
steveklabnik opened this issue Aug 10, 2017 · 2 comments
Open

Flag: playground url #146

steveklabnik opened this issue Aug 10, 2017 · 2 comments

Comments

@steveklabnik
Copy link
Owner

This issue is part of #125

--markdown-playground-url: control the location of the playground

Using this flag looks like this:

$ rustdoc README.md --markdown-playground-url https://play.rust-lang.org/

When rendering a Markdown file, this flag gives the base URL of the Rust
Playround, to use for generating Run buttons.


Should we keep this flag or not?

@steveklabnik
Copy link
Owner Author

Given that there was only ever one alternative playpen, and now it's the official playpen, I'm not 100% sure if we should bother supporting this or not, instead always assuming play.rust-lang.org.

@steveklabnik
Copy link
Owner Author

We talked about this at the tools team meeting today.

It's not clear what to do here. There's only one playpen, so setting the URL is kinda weird, but at the same time, most crates won't work, so we don't necessarily want to turn it on by default.

I want to talk to the infra team to see what the plan is with regards to crates on the playpen before deciding how to move forward.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

1 participant