Differences

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

--- wsl [2020/11/17 20:48] – created 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 =====
@@ Line 7: / Line 36: @@
   sudo apt update
   sudo apt upgrade
-  sudo apt-get install ctags jq
+  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>