dotfiles

commit baedbb64c01ac900c18801c953a614309f0370e0
parent 6c3742f86d9e7e71c8eec3c33db6d87fea71be09
Author: Robert Russell <robert@rr3.xyz>
Date:   Sun,  4 May 2025 11:20:48 -0700

Update zed config

Diffstat:
M
.profile
 | 
3
+--
M
zed/keymap.json
 | 
5
+++--
M
zed/settings.json
 | 
15
++++++++++++++-

3 files changed, 18 insertions(+), 5 deletions(-)
diff --git a/.profile b/.profile
@@ -2,11 +2,10 @@ export EDITOR=vis
 export BROWSER=firefox
 export PAGER=less
 export PDFVIEWER=zathura
-export PATH="$PATH:/home/rob/.cabal/bin:/opt/ats2/bin:/opt/idris2/bin:/home/rob/.elan/bin:/home/rob/go/bin"
+export PATH="$PATH:/home/rob/.local/bin:/home/rob/.cabal/bin:/opt/ats2/bin:/opt/idris2/bin:/home/rob/.elan/bin:/home/rob/go/bin"
 export PATSHOME="/opt/ats2/lib/ats2-postiats-0.4.2"
 
 # opam configuration
 test -r /home/rob/.opam/opam-init/init.sh && . /home/rob/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
 
-
 [ -f "/home/rob/.ghcup/env" ] && . "/home/rob/.ghcup/env" # ghcup-env
 \ No newline at end of file
diff --git a/zed/keymap.json b/zed/keymap.json
@@ -64,6 +64,7 @@
       "ctrl-n": "workspace::NewWindow",
       "alt-t": "workspace::NewCenterTerminal",
       "alt-f": "workspace::NewSearch",
+      // "alt-p": "workspace::Open",
 
       // Activate panes
       "ctrl-alt-up": "workspace::ActivatePaneUp",
@@ -228,7 +229,7 @@
       "ctrl-right": "vim::NextWordStart",
       "ctrl-shift-right": "editor::SelectToNextWordEnd",
 
-      "home": ["vim::FirstNonWhitespace", { "display_lines": true }],
+      "home": ["editor::MoveToBeginningOfLine", { "stop_at_soft_wraps": true, "stop_at_indent": true }],
       "shift-home": null,
       "ctrl-home": ["vim::StartOfLine", { "display_lines": false }],
       "ctrl-shift-home": null,
@@ -368,7 +369,7 @@
       "ctrl-g": "vim::RepeatFind",
       "ctrl-G": "vim::RepeatFindReversed",
 
-      "h": null,
+      "h": "editor::Hover",
       "H": null,
       "ctrl-h": null,
       "ctrl-H": null,
diff --git a/zed/settings.json b/zed/settings.json
@@ -21,7 +21,10 @@
   // Style
   "ui_font_size": 16,
   "buffer_font_size": 16,
-  "buffer_font_family": "JuliaMono",
+  // Zed font features currently don't work on Linux, so we use a variant of
+  // JuliaMono with ligatures hard-coded off, created with
+  // https://mutsuntsai.github.io/fontfreeze.
+  "buffer_font_family": "JuliaMono Freeze",
   "theme": {
     "mode": "system",
     "light": "KTRZ Monokai",
@@ -47,6 +50,16 @@
       }
     }
   },
+  "languages": {
+    "Haskell": {
+      "formatter": {
+        "external": {
+          "command": "fourmolu",
+          "arguments": ["--haddock-style=single-line", "--newlines-between-decls=0", "--stdin-input-file={buffer_path}"]
+        }
+      }
+    }
+  },
 
   // Disable some crap
   "assistant": {