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
Sometimes, I just want to install some packages, whose dependencies are already installed in my switch. However, if opam discovers that some of the dependencies have changed upstream, it will want to reinstall all these dependencies. Though I am interested in doing so at some point, I may want to finish my work before, so I would like to be able to install my packages without caring about these reinstalls, yet be able to do them later.
Currently, it is not possible, opam reinstall --forget-pending will forget all pending reinstalls, so I won't be ablet to do them later. So, I would like something like opam install [...] --skip-pending-reinstalls.
The text was updated successfully, but these errors were encountered:
Sometimes, I just want to install some packages, whose dependencies are already installed in my switch. However, if
opam
discovers that some of the dependencies have changed upstream, it will want to reinstall all these dependencies. Though I am interested in doing so at some point, I may want to finish my work before, so I would like to be able to install my packages without caring about these reinstalls, yet be able to do them later.Currently, it is not possible,
opam reinstall --forget-pending
will forget all pending reinstalls, so I won't be ablet to do them later. So, I would like something likeopam install [...] --skip-pending-reinstalls
.The text was updated successfully, but these errors were encountered: