Add lean

init.lua

@@ -50,44 +50,46 @@ vim.lsp.enable('tsserver')
 --    },
 --  },
 --})
+vim.lsp.enable('ruby-lsp')
 
 -- Setup Treesitter
 require'nvim-treesitter'.setup {
   -- Directory to install parsers and queries to (prepended to `runtimepath` to have priority)
   install_dir = vim.fn.stdpath('data') .. '/site'
 }
-require'nvim-treesitter'.install {
-      "bash",
-      "c",
-      "diff",
-      "html",
-      "hcl",
-      "javascript",
-      "jsdoc",
-      "json",
-      --"jsonc",
-      "lua",
-      "luadoc",
-      "luap",
-      "markdown",
-      "markdown_inline",
-      "python",
-      "query",
-      "regex",
-      "toml",
-      "tsx",
-      "typescript",
-      "terraform",
-      "vim",
-      "vimdoc",
-      "xml",
-      "yaml",
-      "rust",
-      "toml",
-      "ron",
-      "hcl",
-      "terraform"
-    }
+
+--require'nvim-treesitter'.install {
+--      "bash",
+--      "c",
+--      "diff",
+--      "html",
+--      "hcl",
+--      "javascript",
+--      "jsdoc",
+--      "json",
+--      --"jsonc",
+--      "lua",
+--      "luadoc",
+--      "luap",
+--      "markdown",
+--      "markdown_inline",
+--      "python",
+--      "query",
+--      "regex",
+--      "toml",
+--      "tsx",
+--      "typescript",
+--      "terraform",
+--      "vim",
+--      "vimdoc",
+--      "xml",
+--      "yaml",
+--      "rust",
+--      "toml",
+--      "ron",
+--      "hcl",
+--      "terraform"
+--    }
 
 vim.diagnostic.config({ virtual_text = true })
 

lazy-lock.json

@@ -1,18 +1,19 @@
 {
-  "catppuccin": { "branch": "main", "commit": "beaf41a30c26fd7d6c386d383155cbd65dd554cd" },
+  "catppuccin": { "branch": "main", "commit": "426dbebe06b5c69fd846ceb17b42e12f890aedf1" },
   "cmp-buffer": { "branch": "main", "commit": "b74fab3656eea9de20a9b8116afa3cfc4ec09657" },
   "cmp-nvim-lsp": { "branch": "main", "commit": "cbc7b02bb99fae35cb42f514762b89b5126651ef" },
   "cmp-path": { "branch": "main", "commit": "c642487086dbd9a93160e1679a1327be111cbc25" },
-  "crates.nvim": { "branch": "main", "commit": "ac9fa498a9edb96dc3056724ff69d5f40b898453" },
+  "crates.nvim": { "branch": "main", "commit": "694357861ec9ebf12475ddcdd04ea45a0923c32d" },
   "lazy.nvim": { "branch": "main", "commit": "306a05526ada86a7b30af95c5cc81ffba93fef97" },
-  "neo-tree.nvim": { "branch": "v3.x", "commit": "f3df514fff2bdd4318127c40470984137f87b62e" },
-  "nightfly": { "branch": "master", "commit": "3b48dc0c5921f899aeb1e6e61b77b9345888a2f7" },
+  "lean.nvim": { "branch": "main", "commit": "999fab45a246478148ea54501f3bfc1e07a208a2" },
+  "neo-tree.nvim": { "branch": "v3.x", "commit": "84c75e7a7e443586f60508d12fc50f90d9aee14e" },
+  "nightfly": { "branch": "master", "commit": "4980ccc6de5f361fc9da116240ce7592e7d9a53a" },
   "nui.nvim": { "branch": "main", "commit": "de740991c12411b663994b2860f1a4fd0937c130" },
-  "nvim-cmp": { "branch": "main", "commit": "da88697d7f45d16852c6b2769dc52387d1ddc45f" },
-  "nvim-lspconfig": { "branch": "master", "commit": "66fd02ad1c7ea31616d3ca678fa04e6d0b360824" },
-  "nvim-treesitter": { "branch": "main", "commit": "45a07f869b0cffba342276f2c77ba7c116d35db8" },
-  "nvim-web-devicons": { "branch": "master", "commit": "746ffbb17975ebd6c40142362eee1b0249969c5c" },
-  "plenary.nvim": { "branch": "master", "commit": "b9fd5226c2f76c951fc8ed5923d85e4de065e509" },
+  "nvim-cmp": { "branch": "main", "commit": "a1d504892f2bc56c2e79b65c6faded2fd21f3eca" },
+  "nvim-lspconfig": { "branch": "master", "commit": "bf5abe69c1874531f359a822d0cff4d73e26113f" },
+  "nvim-treesitter": { "branch": "main", "commit": "4916d6592ede8c07973490d9322f187e07dfefac" },
+  "nvim-web-devicons": { "branch": "master", "commit": "4fc505ac7bd7692824a142e96e5f529c133862f8" },
+  "plenary.nvim": { "branch": "master", "commit": "74b06c6c75e4eeb3108ec01852001636d85a932b" },
   "rustaceanvim": { "branch": "master", "commit": "88575b98bb9937fb9983ddec5e532b67e75ce677" },
-  "tokyonight.nvim": { "branch": "main", "commit": "5da1b76e64daf4c5d410f06bcb6b9cb640da7dfd" }
+  "tokyonight.nvim": { "branch": "main", "commit": "cdc07ac78467a233fd62c493de29a17e0cf2b2b6" }
 }

lsp/ruby-lsp.lua

@@ -0,0 +1,13 @@
+return {
+
+  filetypes = { "ruby" },
+
+  cmd = { "ruby-lsp" }, -- or { "bundle", "exec", "ruby-lsp" },
+
+  root_markers = { "Gemfile", ".git" },
+  
+  init_options = {
+    formatter = 'standard',
+    linters = { 'standard' },
+  },
+}

lua/plugins/lean.lua

@@ -0,0 +1,22 @@
+return {{
+  'Julian/lean.nvim',
+  event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },
+  dependencies = {
+    'nvim-lua/plenary.nvim',
+
+    -- optional dependencies:
+
+    -- a completion engine
+    --    hrsh7th/nvim-cmp or Saghen/blink.cmp are popular choices
+
+    -- 'nvim-telescope/telescope.nvim', -- for 2 Lean-specific pickers
+    -- 'andymass/vim-matchup',          -- for enhanced % motion behavior
+    -- 'andrewradev/switch.vim',        -- for switch support
+    -- 'tomtom/tcomment_vim',           -- for commenting
+  },
+
+  ---@type lean.Config
+  opts = { -- see below for full configuration options
+    mappings = true,
+  }
+}}