From 73a6e802d4389769329475e787a3c7983ad82914 Mon Sep 17 00:00:00 2001
From: dzach <dzach@users.noreply.github.com>
Date: Tue, 24 Jan 2017 18:38:32 +0200
Subject: [PATCH] Added one argument to openpnp.sh so that option
 -DoverrideUserConfig=true can be used from the command line on Linux

---
 openpnp.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/openpnp.sh b/openpnp.sh
index 95c35fb80db..e72b96089d7 100755
--- a/openpnp.sh
+++ b/openpnp.sh
@@ -18,6 +18,6 @@ case "$platform" in
 		java -Xdock:name=OpenPnP -jar $rootdir/target/openpnp-gui-0.0.1-alpha-SNAPSHOT.jar
 	;;
 	linux)
-		java -jar $rootdir/target/openpnp-gui-0.0.1-alpha-SNAPSHOT.jar
+		java $1 -jar $rootdir/target/openpnp-gui-0.0.1-alpha-SNAPSHOT.jar
 	;;
 esac