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

Drop prefer prefix from toolchain-preference values #4602

Merged
merged 1 commit into from
Jul 2, 2024

Conversation

zanieb
Copy link
Member

@zanieb zanieb commented Jun 27, 2024

I think --toolchain-preference system is sufficiently clear and --toolchain-preference prefer-system is excessively verbose. This was discussed in the original pull request at #4424 but because we had a case for preferring "installed managed" toolchains I was hesitant to change it. Now that I've dropped that in #4601, I think we can drop the prefix.

@zanieb zanieb changed the title Drop prefer prefix from toolchain-prefix Drop prefer prefix from toolchain-preference Jun 27, 2024
@zanieb zanieb force-pushed the zb/toolchain-preference-only branch from 6e42bcd to 64ded97 Compare June 27, 2024 21:26
@zanieb zanieb added configuration Settings and such preview Experimental behavior labels Jun 27, 2024
@zanieb zanieb changed the title Drop prefer prefix from toolchain-preference Drop prefer prefix from toolchain-preference values Jun 27, 2024
@zanieb zanieb force-pushed the zb/toolchain-fetch-strategy branch 5 times, most recently from 6ceeeca to 5fed93b Compare July 2, 2024 01:47
Base automatically changed from zb/toolchain-fetch-strategy to main July 2, 2024 01:54
@zanieb zanieb force-pushed the zb/toolchain-preference-only branch from 64ded97 to 77c3bd9 Compare July 2, 2024 02:00
@zanieb zanieb force-pushed the zb/toolchain-preference-only branch from 77c3bd9 to d5a9cb1 Compare July 2, 2024 02:00
@zanieb zanieb enabled auto-merge (squash) July 2, 2024 02:01
@zanieb zanieb merged commit c0a06a2 into main Jul 2, 2024
47 checks passed
@zanieb zanieb deleted the zb/toolchain-preference-only branch July 2, 2024 02:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
configuration Settings and such preview Experimental behavior
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants