Make make-ccache-volume more robust.

diff --git a/make-ccache-volume b/make-ccache-volume
index aa284d2752041e663dd2cda3b028978f1580734c..b1e6bbba8ede377e462dc5d8a2ee6ca0218d13b5 100755 (executable)
--- a/make-ccache-volume
+++ b/make-ccache-volume
@@ -1,11 +1,13 @@
 #!/bin/bash
 
+docker volume rm ccache
 docker volume create ccache
-id=$(docker run --mount source=ccache,target=/ccache -itd ubuntu-18.04-64 bash)
-for u in 127 1000; do
+volume_id=$(docker run --mount source=ccache,target=/ccache -itd ubuntu-18.04-64 bash)
+for user in jenkins $USER; do
+  id=$(id -u $user)
   for t in ubuntu-18.04-64 windows windows_2.15.x; do
-    docker exec $id mkdir /ccache/$t-$u
-    docker exec $id chmod 777 /ccache/$t-$u
+    docker exec $volume_id mkdir /ccache/$t-$id
+    docker exec $volume_id chmod 777 /ccache/$t-$id
   done
 done
-docker kill $id
+docker kill $volume_id