From aff5561c3b93eb2f3dbe8d655c88f67af5da2c2e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Hohwiller?= Date: Fri, 15 Dec 2023 11:18:08 +0100 Subject: [PATCH] #1362: use devonfw-ide branch for ide-settings as default --- scripts/src/main/resources/scripts/command/ide | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/src/main/resources/scripts/command/ide b/scripts/src/main/resources/scripts/command/ide index 02f23f20f..bfa343ff8 100755 --- a/scripts/src/main/resources/scripts/command/ide +++ b/scripts/src/main/resources/scripts/command/ide @@ -66,7 +66,7 @@ function doUpdateScripts() { } function doUpdateSettings() { - local defaultSettingsUrl="https://github.com/devonfw/ide-settings.git" + local defaultSettingsUrl="https://github.com/devonfw/ide-settings.git#devonfw-ide" if [ ! -d "${SETTINGS_PATH}" ] then if [ -n "${1}" ]