diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-06-16 08:07:55 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-06-16 08:07:55 +0200 |
| commit | 9fec9df3c7c657951b2b4108ecb798dede73945f (patch) | |
| tree | 894168385c639228bd39cc4fa5e113f4e23a67f1 | |
| parent | b08c842ef460a6ba2cf1edea34e27a93c48fb3d7 (diff) | |
Make make-ccache-volume more robust.
| -rwxr-xr-x | make-ccache-volume | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/make-ccache-volume b/make-ccache-volume index aa284d2..b1e6bbb 100755 --- 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 |
