User Tools

Site Tools


wsl

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
wsl [2023/04/14 17:19] – Add instructions to allow matplotlib to plot dblumewsl [2024/04/25 22:38] (current) dblume
Line 1: Line 1:
 ===== WSL ===== ===== WSL =====
 +
 +==== Legacy Windows Console Host ====
  
 Window Title Bar -> Font: Size 16, Font: DejaVu Sans Mono for Powerline 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 ===== ===== Installation =====
wsl.1681517981.txt.gz · Last modified: 2023/04/14 17:19 by dblume