addgitService
yann300 4 years ago
parent 6750955f7d
commit eb64ab6b67
  1. 2
      apps/remix-ide/src/app/panels/terminal.js

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

Loading…
Cancel
Save