pull/638/head
yann300 4 years ago
parent 4ead915037
commit 80a9e765db
  1. 4
      apps/remix-ide/src/app/panels/terminal.js

@ -748,9 +748,9 @@ class Terminal extends Plugin {
try {
if (script.trim().indexOf('git') === 0) {
const result = await this.call('git', 'command', script)
self.commands.html(yo`<pre>${result}</pre>`)
self.commands.html(yo`<pre>${result}</pre>`)
} else {
await this.call('scriptRunner', 'execute', script)
await this.call('scriptRunner', 'execute', script)
}
done()
} catch (error) {

Loading…
Cancel
Save