diff --git a/packaging/push-new-version b/packaging/push-new-version index 40bae1c..a4f50a1 100755 --- a/packaging/push-new-version +++ b/packaging/push-new-version @@ -19,7 +19,7 @@ if [ $NEW_VERSION == $CURRENT_VERSION ]; then 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 .. + cd $DIR; uv lock; cd .. done git commit --all --message="Update version to $NEW_VERSION" git tag $NEW_VERSION