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

Add CROSS_CONTAINER_OPTS environment variable. #772

Merged
merged 1 commit into from
Jun 12, 2022

Conversation

Alexhuszagh
Copy link
Contributor

Rename DOCKER_OPTS to CROSS_CONTAINER_OPTS, and currently prefer CROSS_CONTAINER_OPTS to DOCKER_OPTS, although both are still valid.

Closes #770.

@Alexhuszagh
Copy link
Contributor Author

Currently a draft since #771 will require changing how we parse the values here.

@Alexhuszagh Alexhuszagh marked this pull request as ready for review June 9, 2022 18:02
@Alexhuszagh Alexhuszagh requested a review from a team as a code owner June 9, 2022 18:02
@otavio otavio added this to the v0.2.2 milestone Jun 10, 2022
src/docker.rs Show resolved Hide resolved
Rename `DOCKER_OPTS` to `CROSS_CONTAINER_OPTS`, and currently prefer
`CROSS_CONTAINER_OPTS` to `DOCKER_OPTS`, although both are still valid.

Closes cross-rs#770.
Copy link
Member

@Emilgardis Emilgardis left a comment

Choose a reason for hiding this comment

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

bors r+

@bors
Copy link
Contributor

bors bot commented Jun 11, 2022

👎 Rejected by code reviews

@Emilgardis
Copy link
Member

ping @otavio

@otavio
Copy link
Contributor

otavio commented Jun 12, 2022

bors r=Emilgardis

@bors
Copy link
Contributor

bors bot commented Jun 12, 2022

Build succeeded:

@bors bors bot merged commit 239e8cb into cross-rs:main Jun 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Rename DOCKER_OPTS to CROSS_CONTAINER_OPTS
3 participants