Skip to content

Remove sources path and fix Vagrant vm #279

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 5 commits into from
Dec 20, 2018

Conversation

onur
Copy link
Member

@onur onur commented Dec 20, 2018

docs.rs is been using ~/.cargo/registy/src instead of sources_path for a while. This patch removes sources_path, updates nightly compiler used in Vagrant, removes some unused dependency from Cargo.lock and removes unused dependency from sitemap.rs.

Closes: #278

Vagrantfile Outdated
@@ -47,7 +47,7 @@ Vagrant.configure("2") do |config|
############################################################
lxc-attach -n cratesfyi-container -- apt-get update
lxc-attach -n cratesfyi-container -- apt-get install -y --no-install-recommends curl ca-certificates binutils gcc libc6-dev libmagic1
lxc-attach -n cratesfyi-container -- su - cratesfyi -c 'curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain nightly-2018-10-20'
lxc-attach -n cratesfyi-container -- su - cratesfyi -c 'curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain nightly-2018-12-19'
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I wonder if we can just set this to nightly instead of pinning a date to it. We're updating rustdoc on the production server often enough that updating this file every time may start to become too cumbersome.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes that makes sense, ok changed to use nightly.

Copy link
Member

@QuietMisdreavus QuietMisdreavus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@QuietMisdreavus QuietMisdreavus merged commit 017c47c into rust-lang:master Dec 20, 2018
@onur onur deleted the remove-sources-path branch February 18, 2019 21:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants