From 8de9b354093174976837e4bd50e2f19ea5b9fa89 Mon Sep 17 00:00:00 2001 From: ptaylor Date: Tue, 23 Jan 2024 23:46:19 -0800 Subject: [PATCH] error if curl fails --- features/src/utils/devcontainer-feature.json | 2 +- features/src/utils/install.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/features/src/utils/devcontainer-feature.json b/features/src/utils/devcontainer-feature.json index f0f3fb3d..dcd58f56 100644 --- a/features/src/utils/devcontainer-feature.json +++ b/features/src/utils/devcontainer-feature.json @@ -1,7 +1,7 @@ { "name": "devcontainer-utils", "id": "utils", - "version": "24.2.4", + "version": "24.2.5", "description": "A feature to install RAPIDS devcontainer utility scripts", "containerEnv": { "BASH_ENV": "/etc/bash.bash_env" diff --git a/features/src/utils/install.sh b/features/src/utils/install.sh index e4d4a6fb..0211e2ae 100644 --- a/features/src/utils/install.sh +++ b/features/src/utils/install.sh @@ -107,7 +107,7 @@ add_etc_profile_d_script devcontainer-utils "$(cat .bashrc)"; # Add GitHub's key fingerprints to known_hosts # Add GitLab's key fingerprints to known_hosts (https://docs.gitlab.com/ee/user/gitlab_com/index.html#ssh-known_hosts-entries) known_hosts="$(cat <