From 85598355ef90a70ec9e31e38ddd6308f5352c247 Mon Sep 17 00:00:00 2001 From: Allison Piper Date: Mon, 8 Apr 2024 00:06:01 +0000 Subject: [PATCH] Preserve `.devcontainer/img/` when cleaning. --- .devcontainer/make_devcontainers.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.devcontainer/make_devcontainers.sh b/.devcontainer/make_devcontainers.sh index 64b92c0883e..f868cc14f17 100755 --- a/.devcontainer/make_devcontainers.sh +++ b/.devcontainer/make_devcontainers.sh @@ -111,6 +111,9 @@ mv "./temp_devcontainer.json" ${base_devcontainer_file} # Create an array to keep track of valid subdirectory names valid_subdirs=() +# The img folder should not be removed: +valid_subdirs+=("img") + # For each unique combination for combination in $combinations; do cuda_version=$(echo "$combination" | jq -r '.cuda')