From 9773df8c15e1e4e334737c453edc950e96b7cff8 Mon Sep 17 00:00:00 2001
From: Michael Schaar <kraeml@users.noreply.github.com>
Date: Wed, 11 Sep 2019 12:27:07 +0200
Subject: [PATCH] Realpath for Linux bash-script (#331)

Bash script execute with real path of the script
---
 distribution/Digital.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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