Docker image pull/use: Fix and improve

Change-Id: Ieb39c841151533d7553786f78f80fbb7a62857e2

1 files changed, 12 insertions, 0 deletions

diff --git a/tcwg-start-container.sh b/tcwg-start-container.sh
index 5c227871..2c0efb2c 100755
--- a/tcwg-start-container.sh
+++ b/tcwg-start-container.sh
@@ -53,6 +53,18 @@ docker run --rm $image start.sh > "$start_sh"
 bash "$start_sh" "$@"
 rm "$start_sh"
 
+# See start-container-docker.sh for background on image stamp files.
+# Note that there is no need to track pull requests, since these happen
+# once a day anyway.
+stamp_dir=/home/shared/docker
+if ! [ -d "$stamp_dir" ]; then
+    sudo mkdir -p "$stamp_dir" || mkdir -p "$stamp_dir"
+    sudo chmod 0777 "$stamp_dir" || chmod 0777 "$stamp_dir"
+fi
+image_stamp="$stamp_dir/$(echo "$image" | tr "/:" "_")"
+rm -f "$image_stamp.use"
+touch "$image_stamp.use"
+
 if [ x"$rm_cnt" != x"" ]; then
     # With the new container started delete the old one.
     # Note that if both old and new containers need an exclusive resource