Conversation
This makes installing github cli easier in restricted environment, such as inside distrobox.
|
Hi! Thanks for the pull request. Please ensure that this change is linked to an issue by mentioning an issue number in the description of the pull request. If this pull request would close the issue, please put the word 'Fixes' before the issue number somewhere in the pull request body. If this is a tiny change like fixing a typo, feel free to ignore this message. |
There was a problem hiding this comment.
Pull Request Overview
This PR makes the installation prefix customizable by replacing the hardcoded /usr/local prefix with a configurable PREFIX variable. This allows users to install the GitHub CLI to alternative locations, particularly useful in restricted environments like distrobox.
- Replaces hardcoded
prefixvariable with configurablePREFIXvariable - Uses make's
?=operator to allow overriding the default value
Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.
|
👋 Hi @scarf005 - thank you for improving the GitHub CLI ❤️ ✨ Could you please open an issue for this and provide some more information why this improves things? Doing so would align with our contribution guidelines. I'll close this PR out in the meantime. Thank you again for your efforts! |
|
@BagToad hi, i've read https://github.com/cli/cli/blob/6b19a854710ff2c81070f109f35434cd20e40115/.github/CONTRIBUTING.md and looks like none of the criteria for opening an issue matches.
I've updated the PR body to better describe what and whys of the PR. |
|
@scarf005, the key point from our guidelines is:
While exceptions can be made for small things like typos, I don't consider changes to our build process small in impact or risk, even if the change itself is small. I checked with the rest of the maintainers, and we all would appreciate if you could open an issue for this so we can discuss the approach more before accepting the work 🙏 As a brief example, we're not sure if this |
Summary
Allows overriding install
PREFIX.Rationale
currently github CLI can only be installed on
/usr/localwhich is too inflexible and requires sudo permission when building and installing locally, when it shouldn't really.