From 5bf28840cfe8d852bb1de303520088e00a566988 Mon Sep 17 00:00:00 2001 From: Paul Taylor <178183+trxcllnt@users.noreply.github.com> Date: Wed, 24 Jan 2024 01:50:41 -0800 Subject: [PATCH] retry api.github.com/meta requests (#215) * retry api.github.com/meta requests * pipefail --- features/src/utils/devcontainer-feature.json | 2 +- features/src/utils/install.sh | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/features/src/utils/devcontainer-feature.json b/features/src/utils/devcontainer-feature.json index dcd58f56..e6c13cac 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.5", + "version": "24.2.6", "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 0211e2ae..06dde1ec 100644 --- a/features/src/utils/install.sh +++ b/features/src/utils/install.sh @@ -1,5 +1,5 @@ #! /usr/bin/env bash -set -e +set -eo pipefail # Ensure we're in this feature's directory during build cd "$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"; @@ -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 <