Skip to content

Commit 19a7885

Browse files
authored
Merge pull request #226 from mhucka/mh-shell-script-lint
Fix tiny warnings from shellcheck
2 parents 1a828e2 + da21f13 commit 19a7885

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

dev_tools/nbfmt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
################################################################################
1616

1717
# Get the working directory to the repo root.
18-
cd "$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
19-
cd "$(git rev-parse --show-toplevel)"
18+
cd "$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" || exit
19+
cd "$(git rev-parse --show-toplevel)" || exit
2020

2121
# Check if cirq/check/nbformat exists, if not grab it.
2222
if [[ ! -f dev_tools/nbformat ]]; then

dev_tools/pylint

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
################################################################################
99

1010
# Get the working directory to the repo root.
11-
cd "$(dirname "${BASH_SOURCE[0]}")"
12-
cd "$(git rev-parse --show-toplevel)"
11+
cd "$(dirname "${BASH_SOURCE[0]}")" || exit
12+
cd "$(git rev-parse --show-toplevel)" || exit
1313

1414
# Add dev_tools to $PYTHONPATH so that pylint can find custom checkers
1515
env PYTHONPATH=dev_tools pylint --jobs=0 --rcfile=dev_tools/.pylintrc "$@" .

0 commit comments

Comments
 (0)