Add warning when using outdated code-server script

2020-06-03 15:18:27 -04:00
parent e2789608b2
commit ab081cd522
3 changed files with 28 additions and 25 deletions
--- a/ci/dev/lint.sh
+++ b/ci/dev/lint.sh
@ -9,7 +9,7 @@ main() {
  tsc --noEmit
  # See comment in ./ci/image/debian8
  if [[ ! ${CI-} ]]; then
-    shellcheck -e SC2046,SC2164,SC2154,SC1091,SC1090 $(git ls-files "*.sh")
+    shellcheck -e SC2046,SC2164,SC2154,SC1091,SC1090,SC2002 $(git ls-files "*.sh")
  fi
 }