mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

global

Browse Source
publishpplugins
filip mertens 2 years ago
parent af355489c3
commit 86284ed332
1 changed files with 2 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 4
      apps/remix-ide/ci/publish_plugin.sh

4
apps/remix-ide/ci/publish_plugin.sh
Unescape View File

@ -1,8 +1,8 @@
#!/usr/bin/env bash #!/usr/bin/env bash
set -e set -e
git config user.name "$COMMIT_AUTHOR" git config --global user.name "$COMMIT_AUTHOR"
git config user.email "$COMMIT_AUTHOR_EMAIL" 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

Write Preview
Loading…
Cancel
Save