Work around for permissions problems when different users share a ccache.
[cdist.git] / make-ccache-volume
1 #!/bin/bash
2
3 docker volume create ccache
4 id=$(docker run --mount source=ccache,target=/ccache -itd ubuntu-18.04-64 bash)
5 for u in 127 1000; do
6   for t in ubuntu-18.04-64 windows windows_2.15.x; do
7     docker exec $id mkdir /ccache/$t-$u
8     docker exec $id chmod 777 /ccache/$t-$u
9   done
10 done
11 docker kill $id