Merge pull request #42 from maxkratz/feature/global-eclipse-settings

Configure global settings for Eclipse

Author: maxkratz

build.sh

@@ -126,6 +126,13 @@ install_eclipse_import_projects () {
 	wget -P eclipse/plugins -qi $IMPORT_PROJECTS_JAR
 }
 
+# Install custom global configuration
+install_global_eclipse_settings () {
+	log "Install global Eclipse settings."
+	cp ./resources/emoflon.properties ./eclipse
+	echo "-Declipse.pluginCustomization=emoflon.properties" >> ./eclipse/eclipse.ini
+}
+
 
 #
 # Script
@@ -165,6 +172,9 @@ elif [[ "$OS" = "windows" ]]; then
 	unzip -qq -o eclipse-modeling-$VERSION-R-win32-x86_64.zip
 fi
 
+# Install global Eclipse settings from config file
+install_global_eclipse_settings
+
 log "Install Eclipse plug-ins."
 for p in ${ORDER[@]}; do
 	# Check if eMoflon packages must be skipped (for dev builds).

resources/emoflon.properties

@@ -0,0 +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