annotate .cms/lib/codemirror/mode/shell/index.html @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: Shell mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel=stylesheet href=../../lib/codemirror.css>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <script src=../../lib/codemirror.js></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="../../addon/edit/matchbrackets.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src=shell.js></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <style type=text/css>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 </style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <li><a class=active href="#">Shell</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <h2>Shell mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 <textarea id=code>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 #!/bin/bash
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 # clone the repository
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 git clone http://github.com/garden/tree
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 # generate HTTPS credentials
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 cd tree
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 openssl genrsa -aes256 -out https.key 1024
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 openssl req -new -nodes -key https.key -out https.csr
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 openssl x509 -req -days 365 -in https.csr -signkey https.key -out https.crt
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 cp https.key{,.orig}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 openssl rsa -in https.key.orig -out https.key
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 # start the server in HTTPS mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 cd web
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 sudo node ../server.js 443 'yes' &gt;&gt; ../node.log &amp;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 # here is how to stop the server
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 for pid in `ps aux | grep 'node ../server.js' | awk '{print $2}'` ; do
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 sudo kill -9 $pid 2&gt; /dev/null
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 done
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 exit 0</textarea>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 var editor = CodeMirror.fromTextArea(document.getElementById('code'), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 mode: 'shell',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 matchBrackets: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 <p><strong>MIME types defined:</strong> <code>text/x-sh</code>, <code>application/x-sh</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 </article>