Skip to content

Show versions of Clippy / Rustfmt / Miri #300

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
shepmaster opened this issue Apr 20, 2018 · 1 comment
Closed

Show versions of Clippy / Rustfmt / Miri #300

shepmaster opened this issue Apr 20, 2018 · 1 comment
Labels
enhancement Something new the playground could do

Comments

@shepmaster
Copy link
Member

shepmaster commented Apr 20, 2018

Spawned from #184.

This should probably include the Rust version as well, since it can be decoupled from what's in the nightly.

@shepmaster shepmaster added enhancement Something new the playground could do help wanted Not immediately going to be prioritized — ask for mentoring instructions! labels Apr 20, 2018
@lqd
Copy link
Member

lqd commented Apr 21, 2018

For anyone wanting to pick this up, here's some more information.

There's the rustfmt -V option to return its version, in a format very similar to rustc -V, for example 0.3.6-nightly (e0e3e22 2018-01-18). (I wasn't able to try with clippy at this point)

Adding support for this could be similar to how the playground gets the channels' rustc version.

For example, for the server-side backend, the stable version endpoint is here, and the code asking rustc for its version on a given channel, and parses the results into its components is here.

Client-side, there are different routes defining the previously mentioned endpoints. These are used in the performVersionsLoad function here, which is called when the app starts up, ultimately storing the resulting versions in the app state here. The UI reads these versions here in the component displaying them, via these selectors.

@shepmaster shepmaster changed the title Show versions of Clippy and Rustfmt Show versions of Clippy / Rustfmt / Miri Aug 22, 2018
@ghost ghost mentioned this issue Sep 2, 2018
@shepmaster shepmaster removed the help wanted Not immediately going to be prioritized — ask for mentoring instructions! label Sep 14, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Something new the playground could do
Projects
None yet
Development

No branches or pull requests

2 participants