Auto merge of #1000 - RalfJung:profile, r=RalfJung

install minimal profile by default

Avoid downloading some stuff we really don't care about.

Author: bors

.appveyor.yml

@@ -21,10 +21,11 @@ install:
     - set /p RUSTC_HASH=<rust-version
     # Install Rust
     - curl -sSf --retry 3 -o rustup-init.exe https://win.rustup.rs/
-    - rustup-init.exe -y --default-host %TARGET% --default-toolchain stable
+    - rustup-init.exe -y --default-host %TARGET% --default-toolchain stable --profile minimal
     - set PATH=%USERPROFILE%\.cargo\bin;%PATH%
     - rustup default stable
     - rustup uninstall beta
+    - rustup component remove rust-docs & exit 0
     - rustup update
     # Install "master" toolchain
     - cargo install rustup-toolchain-install-master & exit 0

.travis.yml

@@ -31,10 +31,11 @@ before_script:
     RUSTC_HASH=$(cat rust-version)
   fi
 # Install Rust ("stable" toolchain for better caching, it is just used to build rustup-toolchain-install-master)
-- curl https://build.travis-ci.org/files/rustup-init.sh -sSf | sh -s -- -y --default-toolchain stable
+- curl https://build.travis-ci.org/files/rustup-init.sh -sSf | sh -s -- -y --default-toolchain stable --profile minimal
 - export PATH=$HOME/.cargo/bin:$PATH
 - rustup default stable
 - rustup uninstall beta
+- rustup component remove rust-docs || echo "rust-docs already gone"
 - rustup update
 # Install "master" toolchain
 - cargo install rustup-toolchain-install-master || echo "rustup-toolchain-install-master already installed"

README.md

@@ -105,6 +105,7 @@ nightly that *does* come with Miri:
 ```sh
 MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
+rustup set profile minimal
 rustup default "$MIRI_NIGHTLY"
 
 rustup component add miri