rustup: update page, rustup-{show,update,check,default,toolchain,target}: add page (#10642)

2023-09-02 15:12:22 +02:00
parent 77fb6d0af0
commit 21d2ad3053
7 changed files with 92 additions and 6 deletions
--- a/pages/common/rustup-default.md
+++ b/pages/common/rustup-default.md
@@ -0,0 +1,8 @@
+# rustup default
+
+> Set the default Rust toolchain.
+> More information: <https://rust-lang.github.io/rustup>.
+
+- Switch the default Rust toolchain (see `rustup help toolchain` for more information):
+
+`rustup default {{toolchain}}`