1 files changed, 1 insertions, 1 deletions
diff --git a/.envrc b/.envrc
index e3c1907..5e459bb 100644
--- a/.envrc
+++ b/.envrc
@@ -58,7 +58,7 @@
   git config --local alias.live "push origin HEAD:live"
 #
 # end here if we are in CI
-  [[ -n "CI" ]] && exit 0
+  [[ -n "${CI}" ]] && exit 0
 #
 # create third-party tags
   [[ -L "$CODEROOT"/_/src/.ctags.d ]] || ln -s "$CODEROOT"/.ctags.d "$CODEROOT"/_/src/.ctags.d