-
-
Notifications
You must be signed in to change notification settings - Fork 10.1k
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
software_spec: Add HOMEBREW_BOTTLE_DEFAULT_DOMAIN as a fallback option #10671
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks! Nice work so far. Some tests would be great (but can wait until we've nailed this down a bit more off desired).
I think |
Simply replace the |
@XuehaiPan Let me know when there's a version that works OK for you! |
The current version (@bf87849) works fine for me. |
Probably the final version of this PR. |
Co-authored-by: Mike McQuaid <[email protected]>
Thanks so much for your first contribution! Without people like you submitting PRs we couldn't run this project. You rock, @XuehaiPan! |
brew style
with your changes locally?brew typecheck
with your changes locally?brew tests
with your changes locally?brew man
locally and committed any changes?Add HOMEBREW_BOTTLE_DEFAULT_DOMAIN to downloader mirror list if HOMEBREW_BOTTLE_DOMAIN is other than the default. The downloader may use the HOMEBREW_BOTTLE_DEFAULT_DOMAIN as a fallback option. (resolves #10660)