<div dir="ltr">Hi Rob,<div><br></div><div>The update command refreshes the local list of what theories are available on what repos, so you can see what theories are upgradable like so:</div><div><br></div><div><div>$ opentheory list Upgradable</div>
<div>natural-bits-1.9</div></div><div><br></div><div>Actually doing the upgrade is a bit fiddly:</div><div><br></div><div><div>$ for thy in $(opentheory list --format NAME Upgradable) ; do opentheory install $thy ; done</div>
<div>installed package natural-bits-1.25</div></div><div><br></div><div>I should just make a new upgrade command that packages this up nicely (c.f. other thread about long TODO list :-)</div><div><br></div><div>Cheers,</div>
<div><br></div><div>Joe</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Mar 17, 2014 at 6:31 AM, Rob Arthan <span dir="ltr"><<a href="mailto:rda@lemma-one.com" target="_blank">rda@lemma-one.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">What does the open theory update command do? And what is the recommended way of bringing your copy of a repo up-to-date?<div>
<br></div><div>Regards,</div><div><br></div><div>Rob.</div></div><br>_______________________________________________<br>
opentheory-users mailing list<br>
<a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a><br>
<a href="http://www.gilith.com/opentheory/mailing-list" target="_blank">http://www.gilith.com/opentheory/mailing-list</a><br>
<br></blockquote></div><br></div>