From b7284ed07b94d838faf4f7a2064dc685b0765274 Mon Sep 17 00:00:00 2001 From: Michael Brewer Date: Fri, 14 Jun 2024 22:52:44 -0700 Subject: [PATCH] chore: add print --- code-server/run.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/code-server/run.sh b/code-server/run.sh index 988b2cd..8e068b8 100755 --- a/code-server/run.sh +++ b/code-server/run.sh @@ -66,6 +66,7 @@ function extension_installed() { fi for _extension in "$${EXTENSIONS_ARRAY[@]}"; do if [ "$_extension" == "$1" ]; then + echo "Extension $1 was already installed." return 0 fi done