[opam-devel] On the new mixed mode pins

Daniel Bünzli daniel.buenzli at erratique.ch
Thu May 21 10:11:17 BST 2015


Le jeudi, 21 mai 2015 à 07:00, Louis Gesbert a écrit :
> But we already have too many options.

Yes. Maybe `opam upgrade` can simply prompt for installation if the package is not installed (like reinstall proposes to install IIRC). This would allow to consistently use `upgrade` for handling pins with clear signs if they do not update and use `reinstall` only for forcing reinstalls.  

Daniel
  
  




More information about the opam-devel mailing list