DanilaFe/dotfiles
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add more languages and plugins

Browse Source
This commit is contained in:
Danila Fedorin 2021-08-16 13:20:03 -07:00
parent cf230f8463
commit b356636de7
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
nvim/.config/nvim/init.vim
View File

@ -25,6 +25,8 @@ Plug 'guersam/vim-j'
Plug 'wlangstroth/vim-racket' Plug 'wlangstroth/vim-racket'
Plug 'derekelkins/agda-vim' Plug 'derekelkins/agda-vim'
Plug 'ftorres16/spice.vim' Plug 'ftorres16/spice.vim'
Plug 'vmware/differential-datalog', {'rtp': 'tools/vim'}
Plug 'FStarLang/VimFStar', {'for': 'fstar'}
" Themes " Themes
Plug 'arcticicestudio/nord-vim' Plug 'arcticicestudio/nord-vim'
@ -34,6 +36,9 @@ Plug 'junegunn/goyo.vim'
Plug 'iamcco/markdown-preview.vim' Plug 'iamcco/markdown-preview.vim'
Plug 'junegunn/limelight.vim' Plug 'junegunn/limelight.vim'
Plug 'luochen1990/rainbow' Plug 'luochen1990/rainbow'
" Misc
Plug 'airblade/vim-gitgutter'
call plug#end() call plug#end()
set exrc " Execute local vimscripts set exrc " Execute local vimscripts
@ -48,6 +53,7 @@ set hidden
autocmd BufEnter * call ncm2#enable_for_buffer() " Enable ncm2 for all buffers autocmd BufEnter * call ncm2#enable_for_buffer() " Enable ncm2 for all buffers
autocmd BufRead,BufNewFile *.v set filetype=coq " Coq is not Verilog autocmd BufRead,BufNewFile *.v set filetype=coq " Coq is not Verilog
autocmd BufNewFile,BufRead *.cir set filetype=spice " LTSpice is Spice 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 autocmd FileType crystal setlocal shiftwidth=2 " Crystal likes 2-wide indent
set completeopt=noinsert,menuone set completeopt=noinsert,menuone
@ -86,7 +92,8 @@ let g:LanguageClient_serverCommands = {
\ 'c': ['clangd'], \ 'c': ['clangd'],
\ 'crystal': ['/home/vanilla/software/crystalline/crystalline'], \ 'crystal': ['/home/vanilla/software/crystalline/crystalline'],
\ 'cpp': ['clangd'], \ 'cpp': ['clangd'],
\ 'javascript': ['javascript-typescript-stdio'], \ 'javascript': ['typescript-language-server', '--stdio'],
\ 'typescript': ['typescript-language-server', '--stdio'],
\ 'elm': ['elm-language-server', '--stdio'], \ 'elm': ['elm-language-server', '--stdio'],
\ 'python': ['python', '-m', 'pyls'], \ 'python': ['python', '-m', 'pyls'],
\ 'elixir': ['/home/vanilla/software/elixir-ls/language_server.sh'] \ 'elixir': ['/home/vanilla/software/elixir-ls/language_server.sh']