From 042a22441a1a1ec5a9391749e8c978cdefed0b34 Mon Sep 17 00:00:00 2001
From: David Farrell <davidpfarrell+github@gmail.com>
Date: Fri, 8 Jan 2021 15:12:44 -0800
Subject: [PATCH] sdkman completion: Adds .bash header

---
 completion/available/sdkman.completion.bash | 1 +
 1 file changed, 1 insertion(+)

diff --git a/completion/available/sdkman.completion.bash b/completion/available/sdkman.completion.bash
index 9888c031..16affe8d 100644
--- a/completion/available/sdkman.completion.bash
+++ b/completion/available/sdkman.completion.bash
@@ -1,3 +1,4 @@
+# shellcheck shell=bash
 _sdkman_complete() {
 	local CANDIDATES
 	local CANDIDATE_VERSIONS