From 9dd58fbc65f86b7acba518be117707aba219dccd Mon Sep 17 00:00:00 2001 From: David Jezek <david.jezek@vsb.cz> Date: Thu, 15 Feb 2024 11:15:46 +0100 Subject: [PATCH] test --- swi-install.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/swi-install.sh b/swi-install.sh index e0bdd42..79e348b 100755 --- a/swi-install.sh +++ b/swi-install.sh @@ -105,6 +105,7 @@ function eclipseChangeVm(){ sudo sed -i -e $substituteWorkspace /opt/eclipse-$suffix/$altConfigName.ini } + function installPlugins(){ local suffix=$1 local repos=$2 -- GitLab