Merge remote-tracking branch 'emoflon-ibex-eclipse-build/main' into main

build.sh

@@ -166,7 +166,13 @@ install_eclipse_import_projects () {
 # Install custom global configuration
 install_global_eclipse_settings () {
 	log "Install global Eclipse settings."
-	cp ./resources/emoflon.properties $ECLIPSE_BASE_PATH
+	if [[ "$MODE" = "user" ]]; then
+		cp ./resources/emoflon_user.properties $ECLIPSE_BASE_PATH/emoflon.properties
+	elif [[ "$MODE" = "dev" ]] || [[ "$MODE" = "hipedev" ]]; then
+		cp ./resources/emoflon_dev.properties $ECLIPSE_BASE_PATH/emoflon.properties
+	else
+		log "Mode argument invalid."; exit 1 ;
+	fi
 	echo "-Declipse.pluginCustomization=emoflon.properties" >> $ECLIPSE_BASE_PATH/eclipse.ini
 }
 

resources/emoflon.properties → resources/emoflon_dev.properties

@@ -1,11 +1,11 @@
-#
-# This file can be used to set global settings for the eMoflon-Eclipses.
-#
-# Set default encoding to UTF-8
-org.eclipse.core.resources/encoding=UTF-8
-#
-# Set default Git location to workspace related path
-org.eclipse.egit.core/core_defaultRepositoryDir=${workspace_loc}/git
-#
-# Disable console log output limitation
-org.eclipse.debug.ui/Console.limitConsoleOutput=false
+#
+# This file can be used to set global settings for the eMoflon-Eclipses.
+#
+# Set default encoding to UTF-8
+org.eclipse.core.resources/encoding=UTF-8
+#
+# Set default Git location to workspace related path
+org.eclipse.egit.core/core_defaultRepositoryDir=${workspace_loc}/git
+#
+# Disable console log output limitation
+org.eclipse.debug.ui/Console.limitConsoleOutput=false

resources/emoflon_user.properties

@@ -0,0 +1,14 @@
+#
+# This file can be used to set global settings for the eMoflon-Eclipses.
+#
+# Set default encoding to UTF-8
+org.eclipse.core.resources/encoding=UTF-8
+#
+# Set default Git location to workspace related path
+org.eclipse.egit.core/core_defaultRepositoryDir=${workspace_loc}/git
+#
+# Disable console log output limitation
+org.eclipse.debug.ui/Console.limitConsoleOutput=false
+#
+# Set default perspective to eMoflon
+org.eclipse.ui/defaultPerspectiveId=org.moflon.ide.ui.MoflonPerspective