From 1b95b439a16318dabc118e1c0aadee284de09d92 Mon Sep 17 00:00:00 2001
From: Dag Wieers <dag@wieers.com>
Date: Thu, 14 Jul 2016 02:00:12 +0200
Subject: [PATCH] Do not show splash screen when options are present

This ensures now splash-screen is shown when preferences are changed or CLI-mode is used.

More information in #5131.

However this does NOT fix #5131, since the Arduino IDE in CLI-mode still requires X11 (according to #1981).
---
 build/linux/dist/arduino | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build/linux/dist/arduino b/build/linux/dist/arduino
index d4e7f196562..ad97c916022 100755
--- a/build/linux/dist/arduino
+++ b/build/linux/dist/arduino
@@ -27,7 +27,8 @@ fi
 # Collect options to java in an array, to properly handle whitespace in options
 JAVA_OPTIONS=("-DAPP_DIR=$APPDIR" "-Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel")
 
-if [[ "$@" != *"--upload"* && "$@" != *"--verify"* && "$@" != *"--get-pref"* && "$@" != *"--install-board"* && "$@" != *"--install-library"* ]] ; then
+# Only show the splash screen when no options are present
+if [[ "$@" != *"--"* ]] ; then
 	JAVA_OPTIONS+=("-splash:$APPDIR/lib/splash.png")
 fi