diff options
| author | Owen Jacobson <owen@grimoire.ca> | 2020-07-31 15:05:30 -0400 |
|---|---|---|
| committer | Owen Jacobson <owen@grimoire.ca> | 2020-07-31 15:17:03 -0400 |
| commit | f6b35d12a4328acc7a0f85c7e383251c2823143b (patch) | |
| tree | 2f1f38f7705be85e9553641a182eb4c47c338ca6 /tools/update-nightly | |
| parent | a5304715647814ba43fd97141f94a9ee83e25964 (diff) | |
Move tool installation into scripts.
Now that it's done in two (well, three, if you count the README) places, it's best if its done consistently.
Diffstat (limited to 'tools/update-nightly')
| -rwxr-xr-x | tools/update-nightly | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/update-nightly b/tools/update-nightly new file mode 100755 index 0000000..7567110 --- /dev/null +++ b/tools/update-nightly @@ -0,0 +1,8 @@ +#!/bin/bash -ex + +# tools/update-nightly +# +# Install today's nightly Rust release. + +date "+nightly-%Y-%m-%d" > rust-toolchain +rustup install --profile minimal "$(< rust-toolchain)" |