[opentheory-users] update command

[Joe Leslie-Hurd]

Hi Rob,

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:

$ opentheory list Upgradable
natural-bits-1.9

Actually doing the upgrade is a bit fiddly:

$ for thy in $(opentheory list --format NAME Upgradable) ; do opentheory
install $thy ; done
installed package natural-bits-1.25

I should just make a new upgrade command that packages this up nicely (c.f.
other thread about long TODO list :-)

Cheers,

Joe


On Mon, Mar 17, 2014 at 6:31 AM, Rob Arthan <rda at lemma-one.com> wrote:

> What does the open theory update command do? And what is the recommended
> way of bringing your copy of a repo up-to-date?
>
> Regards,
>
> Rob.
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20140318/a0dc59f7/attachment-0001.html>