From 45fd3e380b4c91da89a03d889d6b8a0861e9915d Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Fri, 2 Jun 2023 22:34:34 +0200 Subject: [PATCH 1/1] Add new ccache volume. --- make-ccache-volume | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make-ccache-volume b/make-ccache-volume index 8517adf..47a1e95 100755 --- a/make-ccache-volume +++ b/make-ccache-volume @@ -5,7 +5,7 @@ docker volume create ccache volume_id=$(docker run --mount source=ccache,target=/ccache -itd ubuntu-18.04-64 bash) for user in $USER; do id=$(id -u $user) - for t in ubuntu-16.04-64 ubuntu-18.04-64 ubuntu-20.04-64 ubuntu-20.10-64 ubuntu-21.04-64 windows windows_2.15.x fedora-34-64 debian-10-64 fedora-35-64; do + for t in ubuntu-16.04-64 ubuntu-18.04-64 ubuntu-20.04-64 ubuntu-20.10-64 ubuntu-21.04-64 windows windows_2.15.x fedora-34-64 debian-10-64 fedora-35-64 ubuntu-22.04-64 ubuntu-23.04-64; do docker exec $volume_id mkdir /ccache/$t-$id docker exec $volume_id chmod 777 /ccache/$t-$id done -- 2.30.2