git has execute api

4 years ago · dcef83adcb
parent baf86d9077
commit dcef83adcb
1 changed files with 1 additions and 2 deletions
--- a/apps/remix-ide/src/app/panels/terminal.js
+++ b/apps/remix-ide/src/app/panels/terminal.js
@ -748,8 +748,7 @@ class Terminal extends Plugin {
    }
    try {
      if (script.trim().startWith('git')) {
-        const result = await this.call('git', 'command', script)
-        self.commands.html(yo`<pre>${result}</pre>`)
+        await this.call('git', 'execute', script)        
      } else {
        await this.call('scriptRunner', 'execute', script)
      }