Codemirror -extrakeys

by jean-philippe janecek

HTML

<link rel="stylesheet" href="https://codemirror.net/theme/ambiance.css">
<script src="https://codemirror.net/lib/codemirror.js"></script>
<link rel="stylesheet" href="https://codemirror.net/lib/codemirror.css">
<script src="https://codemirror.net/3/mode/shell/shell.js"></script>
<form>
  <textarea id="code" name="code">
$ edjangerps
> State(s) of container(s): webtest_1_[0-9]+...
CONTAINER ID        IMAGE               COMMAND              CREATED             STATUS              PORTS                                      NAMES
f8a39917b2d1        test/webserver      "httpd-foreground"   31 seconds ago      Up 30 seconds       0.0.0.0:80->80/tcp, 0.0.0.0:443->443/tcp   webtest_1
$ echo $DOCKER_HOST
tcp://192.168.99.104:2376
$ curl 192.168.99.104:80
<html><body><h1>It works!</h1></body></html>
$ edjangerstop
> Stop container: webtest_1...
webtest_1
$ edjangerpsa
> State of all containers with name : webtest_1...
CONTAINER ID        IMAGE               COMMAND              CREATED             STATUS                      PORTS               NAMES
f8a39917b2d1        test/webserver      "httpd-foreground"   2 minutes ago       Exited (0) 10 seconds ago                       webtest_1
  </textarea>
</form>

CSS

.CodeMirror {
  border: 1px solid #eee;
  height: auto;
}

JavaScript

$(document).ready(function() {
  var editor = CodeMirror.fromTextArea(document.getElementById('code'), {
    mode: 'shell',
    theme: "ambiance",
    lineNumbers: true,
    matchBrackets: true
  });
});