|
|
|
@@ -27,8 +27,8 @@ Plug 'derekelkins/agda-vim'
|
|
|
|
Plug 'ftorres16/spice.vim'
|
|
|
|
Plug 'ftorres16/spice.vim'
|
|
|
|
Plug 'vmware/differential-datalog', {'rtp': 'tools/vim'}
|
|
|
|
Plug 'vmware/differential-datalog', {'rtp': 'tools/vim'}
|
|
|
|
Plug 'FStarLang/VimFStar', {'for': 'fstar'}
|
|
|
|
Plug 'FStarLang/VimFStar', {'for': 'fstar'}
|
|
|
|
|
|
|
|
Plug 'purescript-contrib/purescript-vim'
|
|
|
|
" Plug '~/Documents/software/chapel/highlight/vim'
|
|
|
|
" Plug '~/Documents/software/chapel/highlight/vim'
|
|
|
|
Plug 'lorin/vim-alloy'
|
|
|
|
|
|
|
|
" Plug 'ashinkarov/nvim-agda'
|
|
|
|
" Plug 'ashinkarov/nvim-agda'
|
|
|
|
|
|
|
|
|
|
|
|
" Themes
|
|
|
|
" Themes
|
|
|
|
@@ -42,11 +42,16 @@ Plug 'luochen1990/rainbow'
|
|
|
|
Plug 'simrat39/symbols-outline.nvim'
|
|
|
|
Plug 'simrat39/symbols-outline.nvim'
|
|
|
|
Plug 'folke/todo-comments.nvim'
|
|
|
|
Plug 'folke/todo-comments.nvim'
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
" AI (Yes, you heard me)
|
|
|
|
|
|
|
|
Plug 'aduros/ai.vim'
|
|
|
|
|
|
|
|
Plug 'github/copilot.vim'
|
|
|
|
|
|
|
|
|
|
|
|
" Misc
|
|
|
|
" Misc
|
|
|
|
Plug 'uga-rosa/utf8.nvim'
|
|
|
|
Plug 'uga-rosa/utf8.nvim'
|
|
|
|
Plug 'nvim-lua/plenary.nvim'
|
|
|
|
Plug 'nvim-lua/plenary.nvim'
|
|
|
|
Plug 'airblade/vim-gitgutter'
|
|
|
|
Plug 'airblade/vim-gitgutter'
|
|
|
|
Plug 'f-person/git-blame.nvim'
|
|
|
|
Plug 'f-person/git-blame.nvim'
|
|
|
|
|
|
|
|
Plug 'wakatime/vim-wakatime'
|
|
|
|
call plug#end()
|
|
|
|
call plug#end()
|
|
|
|
|
|
|
|
|
|
|
|
set exrc " Execute local vimscripts
|
|
|
|
set exrc " Execute local vimscripts
|
|
|
|
@@ -67,6 +72,7 @@ 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
|
|
|
|
autocmd FileType cpp setlocal shiftwidth=2 " Chapel has two-wide indents
|
|
|
|
autocmd FileType cpp setlocal shiftwidth=2 " Chapel has two-wide indents
|
|
|
|
autocmd BufRead,BufNewFile *.ast set filetype=ast " AST files are from Chapel.
|
|
|
|
autocmd BufRead,BufNewFile *.ast set filetype=ast " AST files are from Chapel.
|
|
|
|
|
|
|
|
autocmd VimEnter * Copilot enable
|
|
|
|
|
|
|
|
|
|
|
|
" Settings for Rainbow
|
|
|
|
" Settings for Rainbow
|
|
|
|
let g:rainbow_active = 1
|
|
|
|
let g:rainbow_active = 1
|
|
|
|
@@ -92,6 +98,7 @@ let g:fzf_action = { 'enter': 'tab drop' }
|
|
|
|
let g:neovide_cursor_vfx_mode="ripple"
|
|
|
|
let g:neovide_cursor_vfx_mode="ripple"
|
|
|
|
|
|
|
|
|
|
|
|
colorscheme nord
|
|
|
|
colorscheme nord
|
|
|
|
|
|
|
|
hi Comment guifg=#A3BE8C
|
|
|
|
|
|
|
|
|
|
|
|
lua require('lspconfig').hls.setup{}
|
|
|
|
lua require('lspconfig').hls.setup{}
|
|
|
|
lua require('lspconfig').rls.setup{}
|
|
|
|
lua require('lspconfig').rls.setup{}
|
|
|
|
@@ -99,6 +106,7 @@ lua require('lspconfig').clangd.setup{}
|
|
|
|
lua require('lspconfig').tsserver.setup{}
|
|
|
|
lua require('lspconfig').tsserver.setup{}
|
|
|
|
lua require('lspconfig').elmls.setup{}
|
|
|
|
lua require('lspconfig').elmls.setup{}
|
|
|
|
lua require('lspconfig').pylsp.setup{}
|
|
|
|
lua require('lspconfig').pylsp.setup{}
|
|
|
|
|
|
|
|
lua require('lspconfig').purescriptls.setup{}
|
|
|
|
lua require('lspconfig').pyright.setup{}
|
|
|
|
lua require('lspconfig').pyright.setup{}
|
|
|
|
|
|
|
|
|
|
|
|
" All these language servers can be used for symbols-outline
|
|
|
|
" All these language servers can be used for symbols-outline
|
|
|
|
@@ -140,16 +148,15 @@ function! g:CoqtailHighlight()
|
|
|
|
hi default link CoqtailSent PmenuSel
|
|
|
|
hi default link CoqtailSent PmenuSel
|
|
|
|
endfunction
|
|
|
|
endfunction
|
|
|
|
|
|
|
|
|
|
|
|
lua << EOF
|
|
|
|
|
|
|
|
require("todo-comments").setup {
|
|
|
|
|
|
|
|
search = { command = "ag", },
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
EOF
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lua << EOF
|
|
|
|
lua << EOF
|
|
|
|
local lspconfig = require 'lspconfig'
|
|
|
|
local lspconfig = require 'lspconfig'
|
|
|
|
local configs = require 'lspconfig.configs'
|
|
|
|
local configs = require 'lspconfig.configs'
|
|
|
|
local util = require 'lspconfig.util'
|
|
|
|
local util = require 'lspconfig.util'
|
|
|
|
|
|
|
|
local todocomments = require 'todo-comments'
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
todocomments.setup {
|
|
|
|
|
|
|
|
search = { command = "ag", },
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
configs.chplcheck = {
|
|
|
|
configs.chplcheck = {
|
|
|
|
default_config = {
|
|
|
|
default_config = {
|
|
|
|
@@ -176,4 +183,6 @@ lua << EOF
|
|
|
|
lspconfig.chplcheck.setup{}
|
|
|
|
lspconfig.chplcheck.setup{}
|
|
|
|
lspconfig.chpllsp.setup{}
|
|
|
|
lspconfig.chpllsp.setup{}
|
|
|
|
vim.cmd("autocmd BufRead,BufNewFile *.chpl set filetype=chpl")
|
|
|
|
vim.cmd("autocmd BufRead,BufNewFile *.chpl set filetype=chpl")
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
vim.lsp.inlay_hint.enable(true, nil)
|
|
|
|
EOF
|
|
|
|
EOF
|
|
|
|
|