diff --git a/packaging/push-new-version b/packaging/push-new-version index 0b7e088..40bae1c 100755 --- a/packaging/push-new-version +++ b/packaging/push-new-version @@ -16,13 +16,12 @@ CURRENT_VERSION=$(git describe --tags --abbrev=0) if [ $NEW_VERSION == $CURRENT_VERSION ]; then git tag --delete $CURRENT_VERSION git push --delete origin $CURRENT_VERSION -else - git grep --no-color -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g" - for DIR in eris fill3 lscolors termstr ; do - cd $DIR; uv sync; cd .. - done - git commit --all --message="Update version to $NEW_VERSION" fi +git grep --no-color -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g" +for DIR in eris fill3 lscolors termstr ; do + cd $DIR; uv sync; cd .. +done +git commit --all --message="Update version to $NEW_VERSION" git tag $NEW_VERSION git push git push --tags