devcontainer: fix creation error

dduugg · Feb 19, 2024 · 34d7a12 · 34d7a12
1 parent ab62a71
commit 34d7a12
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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