From b54b4f4db1da7fdf4ae377270d7f56de81285472 Mon Sep 17 00:00:00 2001
From: Alexandre CATTEAU <alexandre.catteau@gmail.com>
Date: Thu, 22 Sep 2022 18:53:34 +0200
Subject: [PATCH] Set install script to new run_directory norm

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

diff --git a/install.sh b/install.sh
index ce22887..8d759ae 100755
--- a/install.sh
+++ b/install.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-run_directory=$(dirname "$0")
+run_directory=$(dirname $(readlink -f "$0"))
 
 # WARNING Unlike our usual install scripts, this one should NEVER be run unattended;
 # Make sure to create .disabled file.