wsl
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| wsl [2020/11/19 17:54] – 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 8: | Line 60: | ||
| sudo apt upgrade | sudo apt upgrade | ||
| sudo apt-get install python3-pip | sudo apt-get install python3-pip | ||
| - | sudo apt-get install ctags jq tree expect gnuplot | + | sudo apt-get install ctags jq tree expect gnuplot |
| sudo python3 -m pip install matplotlib | sudo python3 -m pip install matplotlib | ||
| - | | + | |
| + | ===== MatPlotLib ===== | ||
| + | |||
| + | Need to [[https:// | ||
| + | |||
| + | sudo apt install python3-gi-cairo | ||
| + | |||
| + | Maybe also need to [[https:// | ||
| + | |||
| + | <file bash patch.txt> | ||
| + | diff --git i/ | ||
| + | index e9e78b43e..486ba9c1e 100644 | ||
| + | --- i/ | ||
| + | +++ w/ | ||
| + | @@ -36,12 +36,13 @@ backend_version = " | ||
| + | | ||
| + | |||
| + | | ||
| + | + _display = Gdk.Display.get_default() | ||
| + | | ||
| + | - cursors.MOVE: | ||
| + | - cursors.HAND: | ||
| + | - cursors.POINTER: | ||
| + | - cursors.SELECT_REGION: | ||
| + | - cursors.WAIT: | ||
| + | + cursors.MOVE: | ||
| + | + cursors.HAND: | ||
| + | + cursors.POINTER: | ||
| + | + cursors.SELECT_REGION: | ||
| + | + cursors.WAIT: | ||
| + | } | ||
| + | | ||
| + | # Happens when running headless. | ||
| + | </ | ||
| + | |||
| + | ===== Theme ===== | ||
| + | |||
| + | I have a variation of [[https:// | ||
| + | |||
| + | <file json settings.json> | ||
| + | " | ||
| + | [ | ||
| + | { | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | " | ||
| + | }, | ||
| + | ... | ||
| + | </ | ||
| + | |||
| + | ===== VPN ===== | ||
| + | |||
| + | Install [[https:// | ||
wsl.1605837266.txt.gz · Last modified: 2023/04/12 20:44 (external edit)