Skip to content

Commit

Permalink
GH action host plugin check if push workked
Browse files Browse the repository at this point in the history
  • Loading branch information
error7404 committed Jun 6, 2024
1 parent fc95864 commit 6c620b3
Showing 1 changed file with 13 additions and 2 deletions.
15 changes: 13 additions & 2 deletions host.sh
Original file line number Diff line number Diff line change
Expand Up @@ -21,9 +21,20 @@ rm -rf .js
npm run clearMultisrc
npm run generate
npm run json
git add -f icons .dist .js/plugins total.svg
git commit -m "Host plugins"

apt install tree
tree

git add -f icons .dist .js/plugins total.svg &&
git commit -m "Host plugins" &&
git push -f origin $dist

if [ $? -eq 1 ]; then
# If push failed
echo "=========="
echo "Could not push branch dist! See the error above and fix it!"
exit 1
fi

git checkout -f $current

0 comments on commit 6c620b3

Please sign in to comment.