[Check] Fix shellcheck in Travis CI

Author: bugwelle

.travis.yml

@@ -27,9 +27,7 @@ matrix:
     language: shell
     script:
     - shellcheck --version
-    - find . ! -path "./build/*" ! -path "./tools/*"
-      -type f \( -name "*.sh" \)
-      -exec shellcheck {} \;
+    - find . -type f -name "*.sh" -exec shellcheck {} \;
 
   - name: "cmake-format check"
     stage: check

docs/user/publish_gh-pages.sh

@@ -19,7 +19,7 @@ sphinx-build -M html source build
 
 # create or use orphaned gh-pages branch
 branch_name=gh-pages
-if [ $(git branch --list "$branch_name") ]; then
+if [ "$(git branch --list "$branch_name")" ]; then
     git stash
     git checkout $branch_name
     git pull origin $branch_name

tools/run_shellcheck.sh

@@ -0,0 +1,14 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+IFS=$'\n\t'
+
+###############################################################################
+# Run shellcheck on all shell scripts (for usage in CIs)
+# If you develop for this project, please use `make shellcheck`.
+###############################################################################
+
+cd "$( cd "$(dirname "$0")"; pwd -P )/.."
+
+echo "Run shellcheck on all source files"
+find . ! -path "./build/*" -type f -name "*.sh" -exec shellcheck -e SC2010 -e SC2016 {} \+