Skip to content

Some commands aren't resistent to missing source directory of pinned packages #6600

@kit-ty-kate

Description

@kit-ty-kate

As presented in #6597, opam pin list currently fails in the following manner when the source directory isn't present:

$ opam install .
[...]
Would you like to install? [Y/n] n
$ opam pin
/usr/local/bin/opam: "chdir" failed on .../.opam-switch/sources/<pkg>: No such file or directory

I suspect other opam commands also fail in a similar manner while trying to get the git revision or similar info.

This specific chdir issue might be better fixed in the future by 69b4478 from #5966 (related to #3171, #2442, #969, …)

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions