User Tools

Site Tools


wsl

WSL

Legacy Windows Console Host

Window Title Bar → Font: Size 16, Font: DejaVu Sans Mono for Powerline

Windows Terminal

Use Windows Terminal to distinguish Ctrl-i from Tab.

To remap Ctrl-i:

  1. In Windows Terminal, go to the dropdown menu and open Settings
  2. At the bottom left corner of the Settings, select the “Open JSON file” option.
  3. Add the following in the “actions” list:
{
    "command": {
        "action": "sendInput",
        "input": "\u001b[105;5u"
    },
    "keys": "ctrl+i"
}

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 install Python gobject interface for Cairo.

sudo apt install python3-gi-cairo

Maybe also need to edit /usr/local/lib/python3.8/dist-packages/matplotlib/backends/backend_gtk3.py:

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
wsl.txt · Last modified: 2024/04/25 22:38 by dblume