Fix read call for other shells

nuodb · Jan 20, 2025 · 14bdc07 · 14bdc07
1 parent 063dc7a
commit 14bdc07
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml
@@ -16,6 +16,9 @@ jobs:
     name: Publish Docker Image to GitHub Packages
     needs: test
     runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      packages: write
     steps:
       - name: Checkout
         uses: actions/checkout@v4
@@ -40,4 +43,4 @@ jobs:
           IMG_TAG: ${{ join(fromJSON(steps.meta.outputs.json).tags, ' ') }}
           PUSH_REPO: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
         run: |
-          yes | make docker-build
+          echo "yes" | make docker-build
diff --git a/docker/build.sh b/docker/build.sh
@@ -37,7 +37,7 @@ if [ "$GIT_STATUS" = "" ]; then
 fi
 
 # Use PUSH_REPO to specify remote Docker repo to publish to
-if [ "$PUSH_REPO" != "" ] && [ "$(read -p "Push image to \"$PUSH_REPO\" with tag \"$MAIN_TAG\" (yes/no)? " && echo "$REPLY")" = "yes" ]; then
+if [ "$PUSH_REPO" != "" ] && [ "$(read -p "Push image to \"$PUSH_REPO\" with tag \"$MAIN_TAG\" (yes/no)? " REPLY && echo "$REPLY")" = "yes" ]; then
     # Make sure there are no uncommitted changes
     [ "$GIT_STATUS" = "" ] || fail "Cannot push image with uncommitted changes:\n$GIT_STATUS"