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

No way to change OPAMROOT during installation #73

Open
jonahbeckford opened this issue Oct 31, 2023 · 1 comment
Open

No way to change OPAMROOT during installation #73

jonahbeckford opened this issue Oct 31, 2023 · 1 comment
Assignees
Milestone

Comments

@jonahbeckford
Copy link
Contributor

Although it is safer to ignore prior variables during an install, OPAMROOT should be settable to another location to save space.

Perhaps make it a variable in a sexp file with a USERNAME wildcard so it can be set by administrators.

@jonahbeckford
Copy link
Contributor Author

Also, even when OPAMROOT is a Machine environment variable, dkml init still uses the default opamroot:

# Run eval $(opam env '--root=C:\Users\beckf\AppData\Local\opam' '--switch=Y:\source\dkml-workflows') to update the current shell environment

@jonahbeckford jonahbeckford self-assigned this Nov 8, 2023
@jonahbeckford jonahbeckford added this to the 2.0.4 milestone Nov 8, 2023
jonahbeckford added a commit to diskuv/dkml-component-ocamlcompiler that referenced this issue Nov 24, 2023
jonahbeckford added a commit to diskuv/dkml-component-ocamlcompiler that referenced this issue Nov 24, 2023
@jonahbeckford jonahbeckford modified the milestones: 2.1.0, 2.1.1 Dec 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

No branches or pull requests

1 participant