diff --git a/swi-install.sh b/swi-install.sh index e0bdd42f6aaa594cf61934727bafb44b175e9402..79e348b1b7a4834246cfaf8af10864597f007735 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