From ea5af9a7ac3d51d648d22cfdcd518b069571e9bb Mon Sep 17 00:00:00 2001 From: Mark Mansi Date: Sat, 7 Mar 2020 19:10:14 -0600 Subject: [PATCH 1/7] Rename rustc-guide -> rustc-dev-guide --- .../2020-03-09-rename-rustc-guide.md | 30 +++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 posts/inside-rust/2020-03-09-rename-rustc-guide.md diff --git a/posts/inside-rust/2020-03-09-rename-rustc-guide.md b/posts/inside-rust/2020-03-09-rename-rustc-guide.md new file mode 100644 index 000000000..e1973fca5 --- /dev/null +++ b/posts/inside-rust/2020-03-09-rename-rustc-guide.md @@ -0,0 +1,30 @@ +--- +layout: post +title: "The rustc-guide is now rustc-dev-guide" +author: @mark-i-m +description: "the guide has been renamed" +team: the rustc learning working group +--- + +You may or may not be aware of two similarly named resources: +- [The rustc book](https://doc.rust-lang.org/rustc/index.html) +- [The rustc-guide](https://rust-lang.github.io/rustc-dev-guide/) + +What's difference? The "rustc book" is intended as a guide for _users_ of the +compiler. The "rustc-guide" is intended as a guide for _developers_ of the +compiler. However, the names have always been confusingly similar. + +**For that reason, we have decided to rename the `rustc-guide` to +`rustc-dev-guide`.** + +We have put significant work into finding and updating links around the +`rust-lang/*` repos. We have also put up a website in place of the former +`rustc-guide` website that points to the book and rustc-dev-guide. + +You can find more information in [this issue][gh]. If you have any questions or +concerns, please feel free to contact us either by opening an [issue on the +rustc-dev-guide repo][repo] or on our [zulip channel][zulip]. + +[gh]: https://github.com/rust-lang/rustc-dev-guide/issues/602 +[repo]: https://github.com/rust-lang/rustc-dev-guide +[zulip]: https://rust-lang.zulipchat.com/#narrow/stream/196385-t-compiler.2Fwg-learning From 8863e509bcc62696c48d529771f91e1daf10badc Mon Sep 17 00:00:00 2001 From: Mark Mansi Date: Sat, 7 Mar 2020 19:35:10 -0600 Subject: [PATCH 2/7] remove @sign --- posts/inside-rust/2020-03-09-rename-rustc-guide.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/posts/inside-rust/2020-03-09-rename-rustc-guide.md b/posts/inside-rust/2020-03-09-rename-rustc-guide.md index e1973fca5..0f7f49117 100644 --- a/posts/inside-rust/2020-03-09-rename-rustc-guide.md +++ b/posts/inside-rust/2020-03-09-rename-rustc-guide.md @@ -1,7 +1,7 @@ --- layout: post title: "The rustc-guide is now rustc-dev-guide" -author: @mark-i-m +author: mark-i-m description: "the guide has been renamed" team: the rustc learning working group --- From 4e3d5c5035b125b209bff7ffa4eabb034966bda8 Mon Sep 17 00:00:00 2001 From: Who? Me?! Date: Mon, 9 Mar 2020 09:32:12 -0500 Subject: [PATCH 3/7] Typo Co-Authored-By: LeSeulArtichaut --- posts/inside-rust/2020-03-09-rename-rustc-guide.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/posts/inside-rust/2020-03-09-rename-rustc-guide.md b/posts/inside-rust/2020-03-09-rename-rustc-guide.md index 0f7f49117..c9f7af98f 100644 --- a/posts/inside-rust/2020-03-09-rename-rustc-guide.md +++ b/posts/inside-rust/2020-03-09-rename-rustc-guide.md @@ -10,7 +10,7 @@ You may or may not be aware of two similarly named resources: - [The rustc book](https://doc.rust-lang.org/rustc/index.html) - [The rustc-guide](https://rust-lang.github.io/rustc-dev-guide/) -What's difference? The "rustc book" is intended as a guide for _users_ of the +What's the difference? The "rustc book" is intended as a guide for _users_ of the compiler. The "rustc-guide" is intended as a guide for _developers_ of the compiler. However, the names have always been confusingly similar. From 80e751d344f22c8eb3c6e3e83fc3461b9906388b Mon Sep 17 00:00:00 2001 From: Mark Mansi Date: Mon, 9 Mar 2020 09:38:10 -0500 Subject: [PATCH 4/7] add note about git origin --- posts/inside-rust/2020-03-09-rename-rustc-guide.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/posts/inside-rust/2020-03-09-rename-rustc-guide.md b/posts/inside-rust/2020-03-09-rename-rustc-guide.md index c9f7af98f..751715502 100644 --- a/posts/inside-rust/2020-03-09-rename-rustc-guide.md +++ b/posts/inside-rust/2020-03-09-rename-rustc-guide.md @@ -21,6 +21,15 @@ We have put significant work into finding and updating links around the `rust-lang/*` repos. We have also put up a website in place of the former `rustc-guide` website that points to the book and rustc-dev-guide. +To update your git clone of the (former) `rustc-guide` repo, you can do the following: + +``` +git remote set-url origin https://github.com/rust-lang/rustc-dev-guide.git +``` + +This will change where git thinks the `origin` remote repo is to +`rust-lang/rustc-dev-guide`. + You can find more information in [this issue][gh]. If you have any questions or concerns, please feel free to contact us either by opening an [issue on the rustc-dev-guide repo][repo] or on our [zulip channel][zulip]. From 6d705eb978aa7b30335159c6a4994252e1d9ef31 Mon Sep 17 00:00:00 2001 From: Mark Mansi Date: Mon, 9 Mar 2020 15:57:55 -0500 Subject: [PATCH 5/7] update link --- posts/inside-rust/2020-03-09-rename-rustc-guide.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/posts/inside-rust/2020-03-09-rename-rustc-guide.md b/posts/inside-rust/2020-03-09-rename-rustc-guide.md index 751715502..c22e7e9af 100644 --- a/posts/inside-rust/2020-03-09-rename-rustc-guide.md +++ b/posts/inside-rust/2020-03-09-rename-rustc-guide.md @@ -8,18 +8,20 @@ team: the rustc learning working group Date: Mon, 9 Mar 2020 17:29:19 -0500 Subject: [PATCH 6/7] publish tomorrow --- ...-09-rename-rustc-guide.md => 2020-03-10-rename-rustc-guide.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename posts/inside-rust/{2020-03-09-rename-rustc-guide.md => 2020-03-10-rename-rustc-guide.md} (100%) diff --git a/posts/inside-rust/2020-03-09-rename-rustc-guide.md b/posts/inside-rust/2020-03-10-rename-rustc-guide.md similarity index 100% rename from posts/inside-rust/2020-03-09-rename-rustc-guide.md rename to posts/inside-rust/2020-03-10-rename-rustc-guide.md From 1d65c4c6c465603103583d314d7947da9decf6eb Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Fri, 13 Mar 2020 15:45:52 -0400 Subject: [PATCH 7/7] Rename 2020-03-10-rename-rustc-guide.md to 2020-03-13-rename-rustc-guide.md --- ...-10-rename-rustc-guide.md => 2020-03-13-rename-rustc-guide.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename posts/inside-rust/{2020-03-10-rename-rustc-guide.md => 2020-03-13-rename-rustc-guide.md} (100%) diff --git a/posts/inside-rust/2020-03-10-rename-rustc-guide.md b/posts/inside-rust/2020-03-13-rename-rustc-guide.md similarity index 100% rename from posts/inside-rust/2020-03-10-rename-rustc-guide.md rename to posts/inside-rust/2020-03-13-rename-rustc-guide.md