Skip to content

Commit

Permalink
Fix version replacement snippet in scripts/interactive-release.sh (#6836
Browse files Browse the repository at this point in the history
)
  • Loading branch information
zeme-wana authored Feb 11, 2025
1 parent 0048547 commit 5022eae
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions scripts/interactive-release.sh
Original file line number Diff line number Diff line change
Expand Up @@ -138,18 +138,18 @@ open-plutus-pr() {
for PACKAGE in "${RELEASE_PACKAGES[@]}"; do
find . -name "?*.cabal" \
-exec sed -i "s/\(^version:\s*\).*/\1$VERSION/" "./$PACKAGE/$PACKAGE.cabal" \; \
-exec sed -i "s/\(^[ \t]*,[ \t]*$PACKAGE[^-A-Za-z0-1][^^]*\).*/\1^>=$MAJOR_VERSION/" {} \; \
-exec sed -i "s/\(^[ \t]*,[ \t]*$PACKAGE$\)/\1 ^>=$MAJOR_VERSION/" {} \;
-exec sed -i "s/\([^,:]*.[ \t]*$PACKAGE[^-A-Za-z0-1][^^]*\).*/\1^>=$MAJOR_VERSION/" {} \; \
-exec sed -i "s/\([^,:]*.[ \t]*$PACKAGE$\)/\1 ^>=$MAJOR_VERSION/" {} \;

pushd $PACKAGE > /dev/null
scriv collect --version $VERSION || true
popd > /dev/null
done

git add .
git add .
pre-commit run cabal-fmt || true # pre-commit will fail but will modify the files in place, hence the second git add . below
git add .
git commit -m "Release $VERSION" || true
git add .
git commit -m "Release $VERSION" || true
git push --force --set-upstream origin $PR_BRANCH

local PR_URL=$(gh pr create \
Expand Down

0 comments on commit 5022eae

Please sign in to comment.