Differences

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

--- terminal [2025/03/27 14:02] – Yuki
+++ terminal [2025/03/28 13:00] (current) – Yuki
@@ Line 19: / Line 19: @@
 <script src="https://unpkg.com/@xterm/[email protected]/lib/addon-attach.js"></script>
 <script>
-        var term = new Terminal({"convertEol": true, "fontFamily": "Videoway Mono, monospaced", "fontSize": 11});
+        var term = new Terminal({"convertEol": true, "fontFamily": "Videoway Mono, monospaced", "fontSize": 11, "cols": 64, "rows": 36});
         term.open(document.getElementById('terminal'));
         var ws = new WebSocket("/ws/");

neige d'aoust