From 725df0d5ac14e506e9e3d62bfc7452f1f422402f Mon Sep 17 00:00:00 2001 From: Allison Piper Date: Mon, 8 Apr 2024 00:02:42 +0000 Subject: [PATCH] Preserve `.devcontainers/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 64b92c0..f868cc1 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')