From 53268a04d703ea3d2cf4975f9f87f238a36b320b Mon Sep 17 00:00:00 2001 From: Jeremy Wall Date: Sun, 15 Sep 2024 20:47:48 -0400 Subject: [PATCH] feat: quint language server --- nix/base-system/init.lua | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/nix/base-system/init.lua b/nix/base-system/init.lua index ec4b919..d2662a9 100644 --- a/nix/base-system/init.lua +++ b/nix/base-system/init.lua @@ -28,6 +28,17 @@ vim.cmd("noswapfile") vim.cmd("syntax on") vim.cmd("filetype plugin on") +vim.api.nvim_create_autocmd({"BufEnter", "BufWinEnter"}, { + pattern = {"*.qnt"}, + callback = function(args) + vim.lsp.start({ + name = 'quint', + cmd = {'quint-language-server', '--stdio'}, + root_dir = vim.fs.dirname(vim.uri_from_bufnr(args.buf)) + }) + end, +}) + vim.cmd([[ au BufNewFile,BufRead *Makefile,*.mk set noexpandtab ]])