From 34d7a12f6be2b20f1455c835b3527109f899b884 Mon Sep 17 00:00:00 2001 From: Bo Anderson Date: Mon, 19 Feb 2024 18:41:24 +0000 Subject: [PATCH] devcontainer: fix creation error --- .devcontainer/on-create-command.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/on-create-command.sh b/.devcontainer/on-create-command.sh index 8f5fffca28078..e11cabfaed05e 100755 --- a/.devcontainer/on-create-command.sh +++ b/.devcontainer/on-create-command.sh @@ -22,7 +22,7 @@ brew install shellcheck shfmt gh gnu-tar brew cleanup # actually tap homebrew/core, no longer done by default -brew tap homebrew/core +brew tap --force homebrew/core # install some useful development things sudo apt-get update