Skip to content
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

allow building locally as well as with docker #467

Merged
merged 4 commits into from Nov 5, 2019

Conversation

jyn514
Copy link
Member

@jyn514 jyn514 commented Nov 4, 2019

If docker uses the .rustwide directory, it will only be readable and writable by root.
This uses a different scratch directory so that the .rustwide directory can be used for local builds.

If docker uses the .rustwide directory, it will only be readable and
writable by root. This uses a different scratch directory so that the
.rustwide directory can be used for local builds.
@jyn514
Copy link
Member Author

jyn514 commented Nov 4, 2019

This means that artifacts aren't cached between the container and the host, which was the original idea behind using the default directory. Unfortunately I don't see a way around this, I ran into the same problem in #432 and I think we decided there's not a good way to map permissions.

Copy link
Member

@pietroalbini pietroalbini left a comment

Choose a reason for hiding this comment

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

Is the new directory in .gitignore and .dockerignore?

docker-compose.yml Outdated Show resolved Hide resolved
@jyn514
Copy link
Member Author

jyn514 commented Nov 4, 2019

Is the new directory in .gitignore and .dockerignore?

Good catch!

@pietroalbini pietroalbini self-assigned this Nov 4, 2019
@jyn514
Copy link
Member Author

jyn514 commented Nov 4, 2019

This is ready for review.

@pietroalbini pietroalbini merged commit c3d3ed3 into rust-lang:master Nov 5, 2019
@pietroalbini
Copy link
Member

Thanks!

@jyn514 jyn514 deleted the allow-no-docker branch January 28, 2020 18:34
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.

None yet

2 participants