|
|
@ -1,8 +1,7 @@ |
|
|
|
#!/usr/bin/env bash |
|
|
|
#!/usr/bin/env bash |
|
|
|
|
|
|
|
|
|
|
|
set -e |
|
|
|
set -e |
|
|
|
git config --global user.name "$COMMIT_AUTHOR" |
|
|
|
|
|
|
|
git config --global user.email "$COMMIT_AUTHOR_EMAIL" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
HASH=$(sha1sum persist/plugin-$1.zip | cut -d " " -f 1) |
|
|
|
HASH=$(sha1sum persist/plugin-$1.zip | cut -d " " -f 1) |
|
|
|
# unzip persist/plugin-$1.zip |
|
|
|
# unzip persist/plugin-$1.zip |
|
|
@ -12,6 +11,8 @@ git clone git@github.com:ethereum/remix-plugins-directory.git |
|
|
|
npx ts-node apps/remix-ide/ci/publish_plugin.ts $1 $HASH alpha |
|
|
|
npx ts-node apps/remix-ide/ci/publish_plugin.ts $1 $HASH alpha |
|
|
|
|
|
|
|
|
|
|
|
cd remix-plugins-directory |
|
|
|
cd remix-plugins-directory |
|
|
|
|
|
|
|
git config user.name "$COMMIT_AUTHOR" |
|
|
|
|
|
|
|
git config user.email "$COMMIT_AUTHOR_EMAIL" |
|
|
|
git status |
|
|
|
git status |
|
|
|
git add . |
|
|
|
git add . |
|
|
|
git commit -m "Publish plugin $1" |
|
|
|
git commit -m "Publish plugin $1" |
|
|
|