From 97a01ea00cc731d642c024406afc8b5a88f331fe Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 18 Jul 2018 13:06:39 +0200
Subject: [PATCH] warn deprecated

---
 src/app/panels/terminal.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index bc253ca8da..6e25faee30 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -547,6 +547,9 @@ class Terminal {
     return self.commands[name]
   }
   _shell (script, scopedCommands, done) { // default shell
+    if (script.indexOf('remix:') === 0) {
+      return done(null, 'This type of command has been deprecated and is not functionning anymore. Please run remix.help() to list available commands.')
+    }
     var self = this
     var context = domTerminalFeatures(self, scopedCommands)
     try {