-
-
Notifications
You must be signed in to change notification settings - Fork 13
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 $PONYUP_PREFIX
as another option to point ponyup's prefix
#247
Comments
We briefly mentioned this in today's sync call and this makes sense to me. 👍 |
What is the specific issue that you ran into that this solves? |
For me, I'm creating and using a tool that setting the every environment I want and run my editor for portable use(eg. setting up a pony environment before running the vscode whatever OS re-installed or change the OS) without virtualization tech. |
More questions:
OR
|
Sorry for late answering.If ponyup acts like rustup's role in ponylang,It's yes to installing the ponyup binary to a single location then use different location for toolchain binaries. |
Would you be installing multiple versions of pony tools in each location or a single version? |
For my preference I would like to install multiple versions of pony tools in each location. |
Rather than overriding prefix, this should be an option to override the default location to look look for/install the ponyp directory. So that the https://github.com/ponylang/ponyup/blob/main/cmd/main.pony#L17 Note to anyone who works on this, there should be some level of testing around this working so it doesn't get broken in the future. |
Title.For easier to deploy the development environment and runtime enviroment, user can set this environment variable before running the ponyup or shell and use the ponyup with prefix as
$PONYUP_PREFIX
until the variable was unset, if user wants to use other than$PONYUP_PREFIX
for once, they can use--prefix
to change the prefix.The text was updated successfully, but these errors were encountered: