Skip to content

Instantly share code, notes, and snippets.

@thejsj

thejsj/pull-image.sh

Created March 22, 2018 18:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save thejsj/6f29f89aebbc5c4f084a0b9f16bcdbf7 to your computer and use it in GitHub Desktop.
Save thejsj/6f29f89aebbc5c4f084a0b9f16bcdbf7 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
pull-image.sh
function pull_image () {
echo $1
devdocker_image="devdocker.mulesoft.com:18078/mulesoft/$1"
apiserver_image="apiserver:5000/mulesoft/$1"
docker pull $devdocker_image
docker tag $devdocker_image $apiserver_image
docker push $apiserver_image
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment