From 80a9e765dbf2ce81ef18102eb22b9b142111b82e Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Fri, 27 Nov 2020 11:56:22 +0100
Subject: [PATCH] standard

---
 apps/remix-ide/src/app/panels/terminal.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/apps/remix-ide/src/app/panels/terminal.js b/apps/remix-ide/src/app/panels/terminal.js
index aaf8ec2f7e..3a997ba40b 100644
--- a/apps/remix-ide/src/app/panels/terminal.js
+++ b/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) {