change shellnorm directive to disable because ignore is not a shellno…

…rm directive
TerrenceMcGuinness-NOAA · Feb 27, 2025 · 70cdf0d · 70cdf0d
1 parent 199d18d
commit 70cdf0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/scripts/utils/launch_java_agent.sh b/ci/scripts/utils/launch_java_agent.sh
@@ -84,7 +84,7 @@ esac
 LOG=lanuched_agent-$(date +%Y%m%d%M).log
 rm -f "${LOG}"
 
-#shellcheck ignore=SC2034
+#shellcheck disable=SC2034
 # Needed for the module-setup.sh script
 # but did not want to set it globally
 HOMEgfs="${HOMEGFS_}"