pull/5370/head
yann300 4 years ago
parent 0997dcadb5
commit 528e42bbef
  1. 2
      apps/remix-ide/src/app/panels/terminal.js

@ -756,7 +756,7 @@ class Terminal extends Plugin {
}
try {
if (script.trim().startsWith('git')) {
await this.call('git', 'execute', script)
await this.call('git', 'execute', script)
} else {
await this.call('scriptRunner', 'execute', script)
}

Loading…
Cancel
Save