Fix linting error

Signed-off-by: Luke Mondy <luke.mondy@data61.csiro.au>

scripts/l4v.sh

@@ -79,7 +79,8 @@ if [ "$MAKE_CACHES" = "yes" ] ; then
     popd
 
     # We need to fetch some additional components, so that both Isabelle2019 and 2020 have cached dependencies.
-    ISABELLE_COMPONENT_REPOSITORY=$(set +u; source $ISABELLE_SETTINGS_LOCATION; echo "$ISABELLE_COMPONENT_REPOSITORY")
+    # shellcheck disable=SC1090
+    ISABELLE_COMPONENT_REPOSITORY=$(set +u; source "$ISABELLE_SETTINGS_LOCATION"; echo "$ISABELLE_COMPONENT_REPOSITORY")
     pushd ~/.isabelle/contrib
         for package in "csdp-6.x" \
                        "e-2.0-2" \

scripts/utils/user.sh

@@ -23,9 +23,8 @@ set -exuo pipefail
 groupadd -fg "${GID}" "${GROUP}" || true
 groupmod -g "${GID}" "${GROUP}" || true
 
-group_info=$(getent group "$GROUP")
-group_info=(${group_info//:/ })
-
+# Split the group info into an array
+IFS=":" read -r -a group_info <<< "$(getent group "$GROUP")"
 fgroup="${group_info[0]}"
 fgid="${group_info[2]}"
 
@@ -85,6 +84,7 @@ EOF
 mkdir "/home/${UNAME}"
 
 # Put in some branding
+# shellcheck disable=SC2129
 cat << EOF >> "/home/${UNAME}/.bashrc"
 echo '___                                   '
 echo ' |   _      _ |_      _   _ |_ |_     '