Differences

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

--- terminal [2025/03/12 18:12] – created Yuki
+++ terminal [2025/03/28 13:00] (current) – Yuki
@@ Line 1: / Line 1: @@
 <html>
 <link rel="stylesheet" href="https://unpkg.com/@xterm/[email protected]/css/xterm.css" />
+<style>
+.dokuwiki div.page
+{
+  padding: 0;
+}
+.dokuwiki div.page p
+{
+  display: none;
+}
+.xterm .xterm-viewport
+{
+  overflow-y: auto;
+}
+</style>
 <div id="terminal"></div>
 <script src="https://unpkg.com/@xterm/[email protected]/lib/xterm.js"></script>
+<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('test');
+        var ws = new WebSocket("/ws/");
+        ws.onerror = () => term.write("\x1b[1;31mterminal is down, please come back later\x1b[0m\n");
+        var attachAddon = new AttachAddon.AttachAddon(ws);
+        term.loadAddon(attachAddon);
 </script>
 </html>

neige d'aoust