Alternate Docker Repository

If you want to use Ptolemy to load, edit, and run models, then configuring a Shared Directory will be sufficient. However, if you want to run alternate versions of one or more of the containers, then you will need to use locally built container images or use images that are stored in a different Docker Repository.

To do this, edit robopop/etc/settings-local.sh to specify a setting:

• DOCKER_REPOSITORY=my_repo

Where my_repo is the image prefix you would like to use.

Or, if you would like to use a private registry:

• DOCKER_REPOSTORY=my_registry:5000/my_repo

A good way to start is to pull the images published by the ROBOpop team and tag then with your own names:

• robopop/registry.sh -r robopop pull

To push the images under your own name, run:

• robopop/registry.sh push

To push the images under another name, run:

• robopop/registry.sh -r other_repo push

The registry command can also be used with a glob pattern to select the images to push/pull, e.g.:

• robopop/registry.sh -r robopop pull 'si*co*'

Remember to include the glob pattern in quotes, or otherwise the shell might replace it by a list of matching file names.