-
Notifications
You must be signed in to change notification settings - Fork 347
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
Support etc_root and etcexec_root in opam-installer #3958
base: master
Are you sure you want to change the base?
Conversation
Not really sure where this would be useful: it would basically allow to write to |
It's the same contrast between With the current |
What is you use case ? By default, opam won't install to root directories, but on its the switch prefix (cf. |
Note that PR’s concern seems to be about |
Hi, the purpose of this PR is not to install to root directories, but rather to be able install things under The use case is stated in the PR description: Linux system daemon scripts are traditionally installed under BTW this PR (#1141) introduced |
@dra27 right, |
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.
Sorry for the delay. Just to minimal changes to do, and it's ok to merge.
@rjbou thanks for the reply. I'll take a look at this soon. |
ping @hongchangwu |
A year later, ping @hongchangwu :) |
Hi there! Would love to see this merged as well. We could definitely use it for |
updated |
At this stage, this obviously isn't going to be in 2.1, but there are a couple of things which need to be considered. It should be an error to have these fields in a file headed |
Apologies for not responding earlier, this has fallen off my radar. Yeah I think it will be nice to support this. I can update the PR. |
Rebased. |
Thanks, @hongchangwu! We still need to address what to do about |
This PR is definitely still remembered! The machinery for validating fields by version (i.e. rejecting |
We're not looking at file format changes in 2.2, so bumping this for consideration in 2.3 |
Use case
Startup scripts for Linux system daemons are traditionally installed under
/etc/init.d
.