From 3e9179876c7db0744f5bc6524655006b1f36814a Mon Sep 17 00:00:00 2001
From: "Robin A.Meade" <robin.a.meade@gmail.com>
Date: Sat, 17 Feb 2024 11:04:24 -1000
Subject: [PATCH] Follow symlinks for scripts and extension files

Follow symlinks in `~/.sdkman/ext` and `~/.sdkman/ext`.

Fixes #1279
---
 src/main/bash/sdkman-init.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/bash/sdkman-init.sh b/src/main/bash/sdkman-init.sh
index 7e8e34349..4d56d4ca9 100644
--- a/src/main/bash/sdkman-init.sh
+++ b/src/main/bash/sdkman-init.sh
@@ -72,7 +72,7 @@ fi
 # <https://github.com/sdkman/sdkman-extensions>.
 OLD_IFS="$IFS"
 IFS=$'\n'
-scripts=($(find "${SDKMAN_DIR}/src" "${SDKMAN_DIR}/ext" -type f -name 'sdkman-*.sh'))
+scripts=($(find -L "${SDKMAN_DIR}/src" "${SDKMAN_DIR}/ext" -type f -name 'sdkman-*.sh'))
 for f in "${scripts[@]}"; do
 	source "$f"
 done