Merge pull request #6668 from RafaelDorigo/develop

Fixed setup.sh
This commit is contained in:
Matthias 2022-04-09 15:35:26 +02:00 committed by GitHub
commit 81b41183a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -89,12 +89,13 @@ function updateenv() {
fi fi
echo "pip install completed" echo "pip install completed"
echo echo
if [[ $dev =~ ^[Yy]$ ]] then if [[ $dev =~ ^[Yy]$ ]]; then
${PYTHON} -m pre-commit install ${PYTHON} -m pre-commit install
if [ $? -ne 0 ]; then if [ $? -ne 0 ]; then
echo "Failed installing pre-commit" echo "Failed installing pre-commit"
exit 1 exit 1
fi fi
fi
} }
# Install tab lib # Install tab lib