another hint about pulling images
Change-Id: I331df8f8154c6a2d462efb1ba5ffbe5942df3a11
(cherry picked from commit 5292ca7d80e9c8c2f88674f1b00a2f349ee2bb18)
diff --git a/HINTS.md b/HINTS.md
index 5586a52..40fef68 100644
--- a/HINTS.md
+++ b/HINTS.md
@@ -129,3 +129,14 @@
```
This can be useful to look for errors in the logs.
+
+## Pull New images
+The following command can be used on the head node to pull all the latest
+docker images from the local docker registry into the docker daemon. This
+would be done after updating the docker images in the registry.
+```
+for i in $(docker images | grep "docker-registry:5000" | awk '{printf("%s:%s\n", $1, $2)}'); do docker pull $i; done`
+```
+
+After doing this any container that you want to use the new image needs to be
+killed, removed, and restarted.