From 04408f20c6a46a01e4c1f868ad750b9bca917285 Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Fri, 17 Nov 2023 13:16:42 +0000 Subject: [PATCH] store citus_load cache locally for persistence --- .devcontainer/devcontainer.json | 1 + 1 file changed, 1 insertion(+) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index b7eb4a013..a55c0039d 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -26,6 +26,7 @@ "mounts": [ "type=volume,target=/data", "source=citus-bashhistory,target=/commandhistory,type=volume", + "source=citus_load_cache,target=/home/citus/.local/share/citus_load/,type=volume", ], "updateContentCommand": "./configure", "postCreateCommand": "make -C .devcontainer/",