-
Notifications
You must be signed in to change notification settings - Fork 358
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
Pinning local package warns of rsync permission error #5469
Comments
There are two different issues in this:
|
Note that in the real scenario, the root-owned files are inside |
On failure, we display stderr. It's hard to truncate stderr and be sure to give enough information to user on what's failing. On git & rsync, it is mainly used with working-dir: we don't only take versioned files. You directory isn't versioned, so opam automatically made a path pin
|
I don’t get that. What do you mean? When the git repository is local we don’t actually use git clone to copy the repository? |
It is. In the example that you gave (step to reproduce), there is no git repository, i was talking about that. You have the same rsync issue with a git pinned repo ? |
as said in #5469 (comment), yes. |
Opened another issue for rsync+git+permission warning #5472.
We do, but afterwards we rsync non-versioned files. |
From dev meeting: Check rsync option to minimise its error output, and if possible link it to opam verbosity level. |
I didn't expect a simple
opam pin foo -yn .
to print 14K lines of error, but it happened.Steps to reproduce
Create a simple project:
Run
dune build
to generate opam file.Run
sudo chown root:root root_file.txt
andsudo chmod 600 root_file.txt
to make it unavailable to the current user.Problem
opam pin -yn .
produces the following output:Environment check
The text was updated successfully, but these errors were encountered: