packaging: Push a new version on the same day correctly.

- Wasn't updating the uv.lock files.
This commit is contained in:
Andrew Hamilton 2024-12-11 22:20:21 +10:00
parent dd60443e95
commit d8aff012e9

View file

@ -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
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"
fi
git tag $NEW_VERSION
git push
git push --tags