Differences

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

--- wsl [2023/04/14 17:19] – Add instructions to allow matplotlib to plot dblume
+++ wsl [2024/04/25 22:38] (current) – dblume
@@ Line 1: / Line 1: @@
 ===== WSL =====
+==== Legacy Windows Console Host ====
 Window Title Bar -> Font: Size 16, Font: DejaVu Sans Mono for Powerline
+==== Windows Terminal ====
+[[https://unix.stackexchange.com/a/717441/282848|Use Windows Terminal to distinguish Ctrl-i from Tab]].
+To remap Ctrl-i:
+  - In Windows Terminal, go to the dropdown menu and open Settings
+  - At the bottom left corner of the Settings, select the "Open JSON file" option.
+  - Add the following in the "actions" list:
+<code javascript>
+{
+    "command": {
+        "action": "sendInput",
+        "input": "\u001b[105;5u"
+    },
+    "keys": "ctrl+i"
+}
+</code>
+=== Settings ===
+Color scheme: Vintage (With brightened Blue (0000D0), and Cyan (00A0A0))
+Font face: DejaVu Sans Mono for Powerline
+Font size: 11
+Line height: 1.1
+Font weight: Normal
 ===== Installation =====