diff options
| author | Michal <m.i@gmx.at> | 2021-10-20 15:38:05 +0200 |
|---|---|---|
| committer | Michal <m.i@gmx.at> | 2021-10-20 15:38:05 +0200 |
| commit | d4fe9f4aa7b249dfe62b4204b661391e87c9eca8 (patch) | |
| tree | a867c0580ea235dfe6cacadf275beba2d13f2be5 /vim-new/init.vim | |
| parent | fbb55d5e3b9f1d4be3fec53be7274d85f37337c9 (diff) | |
add agda
Diffstat (limited to 'vim-new/init.vim')
| -rw-r--r-- | vim-new/init.vim | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/vim-new/init.vim b/vim-new/init.vim index f2fddd6..5168efe 100644 --- a/vim-new/init.vim +++ b/vim-new/init.vim @@ -1,5 +1,5 @@ " Miguel's Fresh Neovim Config -" 29th Apr 2021 - 01st July 2021 +" 29th Apr 2021 - ... " " link from ~/.config/nvim/init.vim " 1. install vim-plug @@ -34,15 +34,20 @@ Plug 'autozimu/LanguageClient-neovim', { 'branch': 'next', 'do': 'bash install.s Plug 'vim-airline/vim-airline' Plug 'vim-airline/vim-airline-themes' +Plug 'christoomey/vim-tmux-navigator' + " Plug 'rafi/awesome-vim-colorschemes' Plug 'jnurmine/Zenburn' +" try community gruvbox? " haskell related Plug 'neovimhaskell/haskell-vim' Plug 'alx741/vim-stylishask' Plug 'ndmitchell/ghcid', { 'rtp': 'plugins/nvim' } -Plug 'christoomey/vim-tmux-navigator' +" agda +Plug 'derekelkins/agda-vim' " requires python2 / pip2 :( +" try language-server as well call plug#end() " }}} |