summaryrefslogtreecommitdiff
path: root/tools/check_scripts.sh
AgeCommit message (Collapse)Author
2023-03-23core: replace `set -e` by `set -o errexit` in shell scriptsSébastien Helleu
2023-01-04core: add script check_scripts.shSébastien Helleu
This script is now used in CI to check all shell scripts (*.sh) and Python scripts (*.py) that are in git repository. Tools used: - shell scripts: shellcheck - Python scripts: flake8 + pylint + bandit