[opentheory-users] update command

Joe Leslie-Hurd joe at gilith.com
Mon Nov 10 15:48:07 UTC 2014

I'm just cleaning up some old email, and I wanted to close this feature request.

The opentheory tool now supports an upgrade command, which has the
following help:

$ opentheory upgrade -h
opentheory: displaying option information
usage: opentheory upgrade [upgrade options] QUERY
Upgrade packages with later versions on a repo.
Displaying upgrade options:
  -- ............... no more options
  -?, -h, --help ... display option information and exit
  -v, --version .... display version information
QUERY is a package query (e.g., NAME or Upgradable).
NAME is a package name (e.g., base).
If the QUERY argument is missing all installed packages are upgraded.

You still use opentheory list Upgradable to see which theory packages
are able to be upgraded, but now actually upgrading them all is a
simple matter of typing

opentheory upgrade

Or if you want to upgrade specific packages, then for example:

opentheory upgrade natural-fibonacci



On Tue, Mar 18, 2014 at 11:32 AM, Joe Leslie-Hurd <joe at gilith.com> wrote:
> 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

More information about the opentheory-users mailing list