From 316ab8c780ccadb518f3f0dfba88483096446c12 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Phillip=20K=C3=BChne?= <phillip.kuehne@stud.htwk-leipzig.de>
Date: Mon, 29 Jan 2024 23:09:05 +0100
Subject: [PATCH] Fix tidal bash script

---
 tools/tidal.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/tidal.sh b/tools/tidal.sh
index acd4c94..c999633 100755
--- a/tools/tidal.sh
+++ b/tools/tidal.sh
@@ -1,2 +1,3 @@
 #!/bin/sh
-ghci -ghci-script $(ghc -e 'import Paths_tidal' -e 'getDataDir>>=putStr')/BootTidal.hs
+ghci -ghci-script "$(ghc -e 'import Paths_tidal' -e 'getDataDir>>=putStr')/BootTidal.hs"
+