macmini ~/.config

zed/keymap.json

@@ -0,0 +1,30 @@
+// Zed keymap
+//
+// For information on binding keys, see the Zed
+// documentation: https://zed.dev/docs/key-bindings
+//
+// To see the default key bindings run `zed: open default keymap`
+// from the command palette.
+[
+  {
+    "context": "Workspace",
+    "bindings": {
+      // "shift shift": "file_finder::Toggle"
+    }
+  },
+  {
+    "context": "Editor",
+    "bindings": {
+      // "j k": ["workspace::SendKeystrokes", "escape"]
+    }
+  },
+  {
+    "context": "VimControl && !menu",
+    "bindings": {
+       "j": ["vim::Down", { "display_lines": true }],
+       "k": ["vim::Up", { "display_lines": true }],
+       "g j": "vim::Down",
+       "g k": "vim::Up"
+    }
+  }
+]

zed/settings.json

@@ -0,0 +1,108 @@
+// Zed settings
+//
+// For information on how to configure Zed, see the Zed
+// documentation: https://zed.dev/docs/configuring-zed
+//
+// To see all of Zed's default settings without changing your
+// custom settings, run `zed: open default settings` from the
+// command palette (cmd-shift-p / ctrl-shift-p)
+{
+    "drag_and_drop_selection": {
+        "delay": 0,
+        "enabled": true
+    },
+    "terminal": {
+        "font_family": "Iosevka Terminal Wide",
+        "detect_venv": "off",
+        "font_size": 14
+    },
+    "show_wrap_guides": true,
+    "title_bar": {
+        "show_sign_in": false
+    },
+    "git_panel": {
+        "default_width": 320.0
+    },
+    "outline_panel": {
+        "default_width": 320.0
+    },
+    "notification_panel": {
+        "dock": "right"
+    },
+    "debugger": {
+        "dock": "bottom"
+    },
+    "edit_predictions": {
+        "mode": "subtle",
+        "copilot": {
+            "proxy": null,
+            "proxy_no_verify": null
+        },
+        "enabled_in_text_threads": false
+    },
+    "telemetry": {
+        "diagnostics": false,
+        "metrics": false
+    },
+    "base_keymap": "VSCode",
+    "buffer_font_features": {
+        "calt": false,
+        "NWID": true
+    },
+    "ui_font_size": 14,
+    "buffer_font_family": "Iosevka Terminal Wide",
+    "buffer_font_size": 14,
+    "buffer_line_height": "comfortable",
+    "project_panel": {
+        "default_width": 320.0,
+        "scrollbar": {
+            "show": "never"
+        },
+        "entry_spacing": "standard"
+    },
+    "tab_size": 4,
+    "format_on_save": "off",
+    "remove_trailing_whitespace_on_save": false,
+    "ensure_final_newline_on_save": false,
+    // "preferred_line_length": 80,
+    "soft_wrap": "editor_width",
+    "git": {
+        "inline_blame": {
+            "enabled": false
+        }
+    },
+    "collaboration_panel": {
+        "button": false
+    },
+    "agent": {
+        "enabled": false
+    },
+    "features": {
+        // "copilot": false,
+        "edit_prediction_provider": "none"
+    },
+    // "vim_mode": true,
+    ////// LSP config //////
+    "lsp": {
+        "texlab": {
+            "settings": {
+                "texlab": {
+                    "build": {
+                        "onSave": true,
+                        "forwardSearchAfter": false
+                    }
+                }
+            }
+        },
+        "clangd": {
+            "binary": {
+                "ignore_system_version": true,
+                "path": "/opt/homebrew/opt/llvm/bin/clangd",
+                "arguments": []
+            }
+        }
+    },
+    "file_types": {
+        "Cython":["sage"]
+    }
+}

zed/settings_backup.json

@@ -0,0 +1,59 @@
+// Zed settings
+//
+// For information on how to configure Zed, see the Zed
+// documentation: https://zed.dev/docs/configuring-zed
+//
+// To see all of Zed's default settings without changing your
+// custom settings, run `zed: open default settings` from the
+// command palette (cmd-shift-p / ctrl-shift-p)
+{
+  "edit_predictions": {
+    "mode": "subtle",
+    "copilot": {
+      "proxy": null,
+      "proxy_no_verify": null
+    },
+    "enabled_in_text_threads": false
+  },
+  "telemetry": {
+    "diagnostics": false,
+    "metrics": false
+  },
+  "base_keymap": "VSCode",
+  "ui_font_size": 16,
+  "buffer_font_size": 16,
+  "theme": {
+    "mode": "system",
+    "light": "One Light",
+    "dark": "One Dark"
+  },
+  "buffer_font_family": "CaskaydiaCove Nerd Font",
+  "toolbar": {
+    "breadcrumbs": false,
+    "quick_actions": false
+  },
+  "terminal": {
+    "toolbar": {
+      "breadcrumbs": false
+    }
+  },
+  "format_on_save": "off",
+  // "preferred_line_length": 80,
+  "soft_wrap": "editor_width",
+  "git": {
+    "inline_blame": {
+      "enabled": false
+    }
+  },
+  "collaboration_panel": {
+    "button": false
+  },
+  "assistant": {
+    "enabled": false,
+    "version": "2"
+  },
+  "features": {
+    "copilot": false,
+    "inline_completion_provider": "none"
+  }
+}

zed/snippets/markdown.json

@@ -0,0 +1,36 @@
+{
+	// Place your snippets for markdown here. Each snippet is defined under a snippet name and has a prefix, body and 
+	// description. The prefix is what is used to trigger the snippet and the body will be expanded and inserted. Possible variables are:
+	// $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders. Placeholders with the 
+	// same ids are connected.
+	// Example:
+	// "Print to console": {
+	// 	"prefix": "log",
+	// 	"body": [
+	// 		"console.log('$1');",
+	// 		"$2"
+	// 	],
+	// 	"description": "Log output to console"
+	// }
+	"lp":{
+		"prefix": "lp",
+		"body": [
+			"\\begin{equation}",
+			"\\begin{aligned}",
+			"$0",
+			"\\end{aligned}",
+			"\\end{equation}",
+		],
+		"description": "math env for LP"
+	},
+	"details": {
+		"prefix": "details",
+		"body": [
+			"<details>",
+			"<summary>$1</summary>",
+			"$0",
+			"</details>"
+		],
+		"description": "details"
+	}
+}