steveklabnik/rustdoc

Flag: playground url

Offen

#146 geöffnet am 10.08.2017

 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen) (22 Forks)github user discovery
E-Mediumbackendhelp wantedquestion

Repository-Metriken

Stars
 (104 Sterne)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

This issue is part of https://github.com/steveklabnik/rustdoc/issues/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?

Contributor Guide