Differences

This shows you the differences between two versions of the page.

--- terminal [2025/03/13 01:52] – Yuki
+++ terminal [2025/03/28 13:00] (current) – Yuki
@@ Line 2: / Line 2: @@
 <link rel="stylesheet" href="https://unpkg.com/@xterm/[email protected]/css/xterm.css" />
 <style>
-.page, .pad
+.dokuwiki div.page
 {
   padding: 0;
 }
-.page p, .pad p
+.dokuwiki div.page p
 {
   display: none;
+}
+.xterm .xterm-viewport
+{
+  overflow-y: auto;
 }
 </style>
@@ Line 15: / Line 19: @@
 <script src="https://unpkg.com/@xterm/[email protected]/lib/addon-attach.js"></script>
 <script>
-        var term = new Terminal();
+        var term = new Terminal({"convertEol": true, "fontFamily": "Videoway Mono, monospaced", "fontSize": 11, "cols": 64, "rows": 36});
         term.open(document.getElementById('terminal'));
-        term.write('1234567890');
+        var ws = new WebSocket("/ws/");
-        term.write('1234567890');
+        ws.onerror = () => term.write("\x1b[1;31mterminal is down, please come back later\x1b[0m\n");
-        term.write('1234567890');
+        var attachAddon = new AttachAddon.AttachAddon(ws);
-        term.write('1234567890');
+        term.loadAddon(attachAddon);
-        term.write('1234567890');
-        term.write('1234567890');
-        term.write('1234567890');
-        term.write('1234567890');
 </script>
 </html>

neige d'aoust