zaphar/dotfiles
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

feat: quint language server

Browse Source
This commit is contained in:
Jeremy Wall 2024-09-15 20:47:48 -04:00
parent 19fc6838cd
commit 53268a04d7
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
nix/base-system/init.lua
View File

@ -28,6 +28,17 @@ vim.cmd("noswapfile")
vim.cmd("syntax on") vim.cmd("syntax on")
vim.cmd("filetype plugin 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([[ vim.cmd([[
au BufNewFile,BufRead *Makefile,*.mk set noexpandtab au BufNewFile,BufRead *Makefile,*.mk set noexpandtab
]]) ]])