You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The rustc-dev component is larger than all other components of the default profile combined, yet most users probably don't care about this. I think it should be removed.
Perhaps another profile default-poweruser can be made that does include it.
The text was updated successfully, but these errors were encountered:
jethrogb
changed the title
rustc-dev
Remove rustc-dev component from default profile
Dec 19, 2019
I'd argue that the complete profile (which is basically rust devs-only anyway) might be an acceptable place for this, without needing to add a new profile name. People who want default plus rustc-dev can just do rustup toolchain install nightly --profile default --component rustc-dev
It was the intent when merging the PR that split the rustc-dev profile out that we would eventually remove it from the default set. I believe this is already true on beta (and perhaps stable as of later today?).
I would accept a PR at this point that removes rustc-dev component from the default set on nightly as well.
…k-Simulacrum
Remove rustc-dev from the default nightly components
It was already filtered from other branches, but we only kept it in
nightly's default to ease the transition. Now that the separation of
rust-std/rustc-dev has reached the 1.40 release, it seems like a good
time for that transition to end.
Closesrust-lang#67425.
r? @Mark-Simulacrum
The
rustc-dev
component is larger than all other components of thedefault
profile combined, yet most users probably don't care about this. I think it should be removed.Perhaps another profile
default-poweruser
can be made that does include it.The text was updated successfully, but these errors were encountered: