===== 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 =====

  sudo apt update
  sudo apt upgrade
  sudo apt-get install python3-pip
  sudo apt-get install ctags jq tree expect gnuplot httpie moreutils
  sudo python3 -m pip install matplotlib

===== MatPlotLib =====

Need to [[https://stackoverflow.com/a/64849977/9181|install Python gobject interface for Cairo]].

  sudo apt install python3-gi-cairo
 
Maybe also need to [[https://github.com/matplotlib/matplotlib/issues/19405#issuecomment-770244923|edit /usr/local/lib/python3.8/dist-packages/matplotlib/backends/backend_gtk3.py]]:

<file bash patch.txt>
diff --git i/lib/matplotlib/backends/backend_gtk3.py w/lib/matplotlib/backends/backend_gtk3.py
index e9e78b43e..486ba9c1e 100644
--- i/lib/matplotlib/backends/backend_gtk3.py
+++ w/lib/matplotlib/backends/backend_gtk3.py
@@ -36,12 +36,13 @@ backend_version = "%s.%s.%s" % (
     Gtk.get_major_version(), Gtk.get_micro_version(), Gtk.get_minor_version())
 
 try:
+    _display = Gdk.Display.get_default()
     cursord = {
-        cursors.MOVE:          Gdk.Cursor.new(Gdk.CursorType.FLEUR),
-        cursors.HAND:          Gdk.Cursor.new(Gdk.CursorType.HAND2),
-        cursors.POINTER:       Gdk.Cursor.new(Gdk.CursorType.LEFT_PTR),
-        cursors.SELECT_REGION: Gdk.Cursor.new(Gdk.CursorType.TCROSS),
-        cursors.WAIT:          Gdk.Cursor.new(Gdk.CursorType.WATCH),
+        cursors.MOVE:          Gdk.Cursor.new_from_name(_display, "move"),
+        cursors.HAND:          Gdk.Cursor.new_from_name(_display, "pointer"),
+        cursors.POINTER:       Gdk.Cursor.new_from_name(_display, "default"),
+        cursors.SELECT_REGION: Gdk.Cursor.new_from_name(_display, "crosshair"),
+        cursors.WAIT:          Gdk.Cursor.new_from_name(_display, "wait"),
     }
 except TypeError as exc:
     # Happens when running headless.  Convert to ImportError to cooperate with
</file>