You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I disagree. If your opam files are found in the opam directory then the generated lock files should also be generated there and not in the root directory.
So the issue is not about opam lock input opam file location, but opam lock output file location.
On opam lock output file, it is always on the current directory, where opam lock is called (see lock test). The behaviour can be changed, but it is the "normal" current behaviour of opam lock.
The last command will output:
All the opam-* from the
opam
subdirectory now have a lock file in the current directory except there is no corresponding opam file.The text was updated successfully, but these errors were encountered: