wsl
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| wsl [2023/04/14 17:19] – Add instructions to allow matplotlib to plot dblume | wsl [2025/05/07 23:20] (current) – [Theme] 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:// | ||
| + | |||
| + | To remap Ctrl-i to a sequence that maps as Ctrl-i //outside of tmux//: | ||
| + | |||
| + | - 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 " | ||
| + | <code javascript> | ||
| + | { | ||
| + | " | ||
| + | { | ||
| + | " | ||
| + | " | ||
| + | }, | ||
| + | " | ||
| + | } | ||
| + | </ | ||
| + | |||
| + | Note that you could' | ||
| + | |||
| + | When you save it, note that the ''" | ||
| + | |||
| + | <code javascript> | ||
| + | { | ||
| + | " | ||
| + | { | ||
| + | " | ||
| + | " | ||
| + | }, | ||
| + | " | ||
| + | } | ||
| + | ], | ||
| + | " | ||
| + | [ | ||
| + | { | ||
| + | " | ||
| + | " | ||
| + | }, | ||
| + | </ | ||
| + | |||
| + | === 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 ===== | ||
| Line 44: | Line 96: | ||
| # Happens when running headless. | # Happens when running headless. | ||
| </ | </ | ||
| + | |||
| + | ===== Theme ===== | ||
| + | |||
| + | I have a variation of [[https:// | ||
| + | |||
| + | <file json settings.json> | ||
| + | " | ||
| + | [ | ||
| + | { | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | }, | ||
| + | ... | ||
| + | </ | ||
| + | |||
| + | ===== VPN ===== | ||
| + | |||
| + | Install [[https:// | ||
wsl.1681517981.txt.gz · Last modified: 2023/04/14 17:19 by dblume