From b356636de70a68ff8f690dd99acce3600d598e0b Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Mon, 16 Aug 2021 13:20:03 -0700 Subject: [PATCH] Add more languages and plugins --- nvim/.config/nvim/init.vim | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/nvim/.config/nvim/init.vim b/nvim/.config/nvim/init.vim index 91e30d2..bd5ae10 100644 --- a/nvim/.config/nvim/init.vim +++ b/nvim/.config/nvim/init.vim @@ -25,6 +25,8 @@ Plug 'guersam/vim-j' Plug 'wlangstroth/vim-racket' Plug 'derekelkins/agda-vim' Plug 'ftorres16/spice.vim' +Plug 'vmware/differential-datalog', {'rtp': 'tools/vim'} +Plug 'FStarLang/VimFStar', {'for': 'fstar'} " Themes Plug 'arcticicestudio/nord-vim' @@ -34,6 +36,9 @@ Plug 'junegunn/goyo.vim' Plug 'iamcco/markdown-preview.vim' Plug 'junegunn/limelight.vim' Plug 'luochen1990/rainbow' + +" Misc +Plug 'airblade/vim-gitgutter' call plug#end() set exrc " Execute local vimscripts @@ -48,6 +53,7 @@ set hidden autocmd BufEnter * call ncm2#enable_for_buffer() " Enable ncm2 for all buffers autocmd BufRead,BufNewFile *.v set filetype=coq " Coq is not Verilog autocmd BufNewFile,BufRead *.cir set filetype=spice " LTSpice is Spice +autocmd BufRead,BufNewFile *.dl set filetype=dl " Datalog is Datalog autocmd FileType crystal setlocal shiftwidth=2 " Crystal likes 2-wide indent set completeopt=noinsert,menuone @@ -86,7 +92,8 @@ let g:LanguageClient_serverCommands = { \ 'c': ['clangd'], \ 'crystal': ['/home/vanilla/software/crystalline/crystalline'], \ 'cpp': ['clangd'], - \ 'javascript': ['javascript-typescript-stdio'], + \ 'javascript': ['typescript-language-server', '--stdio'], + \ 'typescript': ['typescript-language-server', '--stdio'], \ 'elm': ['elm-language-server', '--stdio'], \ 'python': ['python', '-m', 'pyls'], \ 'elixir': ['/home/vanilla/software/elixir-ls/language_server.sh']