Merge pull request #8102 from TheJoeSchr/develop

setup.sh: checks if git directory is dirty before bothering user with…
This commit is contained in:
Matthias 2023-02-03 16:56:52 +01:00 committed by GitHub
commit 7991124794
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 23 additions and 12 deletions

View File

@ -190,15 +190,25 @@ function update() {
updateenv updateenv
} }
function check_git_changes() {
if [ -z "$(git status --porcelain)" ]; then
echo "No changes in git directory"
return 1
else
echo "Changes in git directory"
return 0
fi
}
# Reset Develop or Stable branch # Reset Develop or Stable branch
function reset() { function reset() {
echo_block "Resetting branch and virtual env" echo_block "Resetting branch and virtual env"
if [ "1" == $(git branch -vv |grep -cE "\* develop|\* stable") ] if [ "1" == $(git branch -vv |grep -cE "\* develop|\* stable") ]
then then
if check_git_changes; then
read -p "Reset git branch? (This will remove all changes you made!) [y/N]? " read -p "Keep your local changes? (Otherwise will remove all changes you made!) [Y/n]? "
if [[ $REPLY =~ ^[Yy]$ ]]; then if [[ $REPLY =~ ^[Nn]$ ]]; then
git fetch -a git fetch -a
@ -212,6 +222,7 @@ function reset() {
git reset --hard origin/stable git reset --hard origin/stable
fi fi
fi fi
fi
else else
echo "Reset ignored because you are not on 'stable' or 'develop'." echo "Reset ignored because you are not on 'stable' or 'develop'."
fi fi