diff --git a/installer.sh b/installer.sh
index 771fe45b..80f60d3f 100755
--- a/installer.sh
+++ b/installer.sh
@@ -238,6 +238,7 @@ install_debs(){
     curl -fsSL https://download.docker.com/linux/ubuntu/gpg | gpg --dearmor -o /etc/apt/keyrings/docker.gpg
     chmod a+r /etc/apt/keyrings/docker.gpg
     # Add the repository to Apt sources:
+    # shellcheck source=/dev/null
     echo \
       "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.gpg] https://download.docker.com/linux/ubuntu \
       $(. /etc/os-release && echo "${VERSION_CODENAME}") stable" | \