misc from hermia

This commit is contained in:
Barak Michener 2021-04-12 18:49:57 -07:00
parent 34003802c6
commit f6188dfe86
5 changed files with 7 additions and 6 deletions

8
.vimrc
View file

@ -176,12 +176,9 @@ Plug 'leafOfTree/vim-svelte-plugin'
"Plug 'posva/vim-vue'
Plug 'Shougo/context_filetype.vim'
"Plug 'idris-hackers/idris-vim', {'for': 'idris'}
Plug 'edwinb/idris2-vim', {'for': 'idris'}
Plug 'fedorenchik/AnsiEsc'
Plug 'derekwyatt/vim-scala', {'for': 'scala'}
Plug 'hwayne/tla.vim'
Plug 'zchee/vim-goasm'
Plug 'cakebaker/scss-syntax.vim'
"Plug 'cappyzawa/starlark.vim'
" Plugins that autocomplete
@ -204,8 +201,8 @@ Plug 'neoclide/coc.nvim', {'branch': 'release'}
Plug 'Shougo/vimproc.vim'
Plug 'Shougo/vimfiler.vim'
Plug 'Shougo/unite.vim'
"Plug 'lucas8/coquille', {'branch': 'error_on_coq_error', 'for': 'coq'}
Plug 'whonore/coquille', {'branch': 'pathogen-bundle', 'for': 'coq'}
" TODO: Look into Coqtail, same author
Plug 'whonore/coquille', {'branch': 'pathogen-bundle', 'for': 'coq'}
"Plug 'dhruvasagar/vim-zoom'
Plug 'gabrielelana/vim-markdown'
Plug 'lervag/vimtex'
@ -545,7 +542,6 @@ set statusline+=%{fugitive#statusline()}\ \
set statusline+=%c, "cursor column
set statusline+=%l/%L "cursor line/total lines
set statusline+=\ %P "percent through file
set statusline+=%{zoom#statusline()}\
" ** SMALL FUNCTIONS THAT DON'T FIT AS PLUGINS ***