Sending Louis' answer to the list about the reinstall problem (I made an 
unwanted off-list glitch).  

Message transmis :
> De : Louis Gesbert <[email protected]>
> À : Daniel Bünzli <[email protected]>
> Date : mercredi, 20 mai 2015 13:53:58
> Sujet : Re: [opam-devel] On the new mixed mode pins
>  
> > - Daniel Bünzli, 20/05/2015 12:42 -
> > Le mercredi, 20 mai 2015 à 04:18, Louis Gesbert a écrit :
> > > Indeed, not how it worked, but that sounds fair enough. Shouldn't be too 
> > > disruptive to current user if we print clearly "OPAM will track the xxx 
> > > branch of ..." in the pinning message.
> >  
> > I also think that the `pin list` dashboard should be more explicit, # at 
> > the end of the repo url are hard to parse. I would rather like to have that 
> > printed as
> >  
> > $PKG git $BRANCH $REPO (instead of $PKG git $REPO#$BRANCH).  
> > > Or more importantly on an explicit install/reinstall/upgrade (which 
> > > triggers update automatically).
> >  
> > Aaah I think I now understand, this idea of forgetting to commit ThomasL 
> > was mentioning. If you `reinstall` then you may effectively not *see* that 
> > you forgot to commit since this *forces* the installation regardless. Are 
> > we missing a command that says "reinstall if there is a new commit" or is 
> > this simply `update -u PIN` ?
>  
> Yes, `opam upgrade` does it. Also, due to some magic, `opam upgrade PIN` is 
> sufficient, as it will first force an update of PIN. It's convenient, and 
> harmless enough since it would generally make little sense otherwise.
>  
> > > True enough. Well none of these changes seem too disruptive to not add in 
> > > 1.3.
> > I have opened an issue for this here 
> > https://github.com/ocaml/opam/issues/2156  
> >  
> > If you want me to make the issue more precise please tell. Also if you need 
> > help with the documentation bits update once the changes have been made 
> > (man page, general opam documentation) I can give a hand.
>  
> Thanks! Your help in such matters is valuable.
_______________________________________________
opam-devel mailing list
[email protected]
http://lists.ocaml.org/listinfo/opam-devel

Reply via email to