-
Notifications
You must be signed in to change notification settings - Fork 404
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add runner scripts for development tools
- Loading branch information
ChisSoc
authored and
ChisSoc
committed
Oct 12, 2021
1 parent
731f3e9
commit 8e9e925
Showing
3 changed files
with
40 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
#!/usr/bin/env bash | ||
|
||
# Runner script for flak8 to ensure | ||
# - correct config file | ||
# - independent from working directory | ||
|
||
# Change working directory to location of script | ||
SOURCE=${BASH_SOURCE[0]} | ||
SCRIPT_DIR="$(dirname "$SOURCE")" | ||
cd "$SCRIPT_DIR" || (echo "Could not change to top-level project directory" && exit 1) | ||
|
||
# Run flake8 | ||
flake8 --config .flake8 "$@" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
#!/usr/bin/env bash | ||
|
||
# Runner script for pytest to ensure | ||
# - correct config file | ||
# - independent from working directory | ||
|
||
# Change working directory to location of script | ||
SOURCE=${BASH_SOURCE[0]} | ||
SCRIPT_DIR="$(dirname "$SOURCE")" | ||
cd "$SCRIPT_DIR" || (echo "Could not change to top-level project directory" && exit 1) | ||
|
||
# Run pytest | ||
pytest -c pytest.ini |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
#!/usr/bin/env bash | ||
|
||
# Runner script for sphinx documentation build | ||
# Usage: | ||
# (a) run_sphinx.sh for incremental build | ||
# (b) run_sphinx.sh clean for clean re-build | ||
|
||
# Change working directory to location of script | ||
SOURCE=${BASH_SOURCE[0]} | ||
SCRIPT_DIR="$(dirname "$SOURCE")" | ||
cd "$SCRIPT_DIR/docs/sphinx" || (echo "Could not change to docs directory" && exit 1) | ||
|
||
# Run sphinx | ||
make "$@" html |