From 0d96b31b5696f95b559450e17c71914d0746c0ce Mon Sep 17 00:00:00 2001 From: Matthias Stecher Date: Fri, 11 Dec 2020 18:13:44 +0100 Subject: [PATCH] __debian_backports: pass shellcheck for sourced file Because the sourced explorer can't be detected by shellcheck, it will be completely disabled. Changing the path to /etc/os-release isn't deterministic either. The shellcheck wiki page suggests to use `source=/dev/null` instead of `disable=SC1090`, but it was choosen to completely avoid that check .. --- cdist/conf/type/__debian_backports/manifest | 1 + 1 file changed, 1 insertion(+) diff --git a/cdist/conf/type/__debian_backports/manifest b/cdist/conf/type/__debian_backports/manifest index 29bf9a43..661e5281 100755 --- a/cdist/conf/type/__debian_backports/manifest +++ b/cdist/conf/type/__debian_backports/manifest @@ -30,6 +30,7 @@ case "$os" in # distribution codename from /etc/os-release # lsb_release may not be given in all debian installations dist="$( + # shellcheck disable=SC1090 . "$__global/explorer/os-release" printf "%s" "$VERSION_CODENAME" )"