Add script for making the ccache volume.
authorCarl Hetherington <cth@carlh.net>
Thu, 4 Jun 2020 15:15:49 +0000 (17:15 +0200)
committerCarl Hetherington <cth@carlh.net>
Thu, 4 Jun 2020 15:15:49 +0000 (17:15 +0200)
make-ccache-volume [new file with mode: 0755]

diff --git a/make-ccache-volume b/make-ccache-volume
new file mode 100755 (executable)
index 0000000..c79eaa1
--- /dev/null
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+docker volume create ccache
+id=$(docker run --mount source=ccache,target=/ccache -itd ubuntu-18.04-64 bash)
+docker exec $id mkdir /ccache/ubuntu-18.04-64
+docker exec $id chown carl /ccache/ubuntu-18.04-64
+docker kill $id