From a6aed9efdd9c6fac9763623da29c1268553244bd Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Fri, 21 May 2021 12:48:17 +0200
Subject: [PATCH] fixes an issue in Digital.sh, closes #748

---
 distribution/linux/Digital.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/distribution/linux/Digital.sh b/distribution/linux/Digital.sh
index 8801b7869..ee422aa2f 100755
--- a/distribution/linux/Digital.sh
+++ b/distribution/linux/Digital.sh
@@ -1,3 +1,3 @@
 #!/bin/bash
 DIR="$( cd "$( dirname "$( realpath "${BASH_SOURCE[0]}" )" )" >/dev/null && pwd )"
-java -jar $DIR/Digital.jar "$1"
+java -jar "$DIR/Digital.jar" "$1"