Skip to content
Snippets Groups Projects
Commit 960a8b03 authored by Henrik Tjäder's avatar Henrik Tjäder
Browse files

Separate CHAD and coq into nvim-only

parent b15ea529
Branches
No related tags found
No related merge requests found
...@@ -36,18 +36,8 @@ else ...@@ -36,18 +36,8 @@ else
" NERDTree file browser " NERDTree file browser
"Plug 'scrooloose/nerdtree' "Plug 'scrooloose/nerdtree'
Plug 'preservim/nerdtree' Plug 'preservim/nerdtree'
Plug 'Xuyuanp/nerdtree-git-plugin'
" Filetype and other icons " Filetype and other icons
" Requires a Nerd Font-patched font Plug 'Xuyuanp/nerdtree-git-plugin'
" yay nerd-fonts-fira-code
" Need to run :CHADdeps to fully install it
Plug 'ms-jpq/chadtree', {'branch': 'chad', 'do': 'python3 -m chadtree deps'}" ChadTree alternative
" Coq
" main one, might need :COQdeps to be run at install
Plug 'ms-jpq/coq_nvim', {'branch': 'coq'}
" 9000+ Snippets
Plug 'ms-jpq/coq.artifacts', {'branch': 'artifacts'}
" Icons for devices, used in nerdtree etc " Icons for devices, used in nerdtree etc
Plug 'ryanoasis/vim-devicons' Plug 'ryanoasis/vim-devicons'
" Syntax checker " Syntax checker
...@@ -68,6 +58,18 @@ else ...@@ -68,6 +58,18 @@ else
Plug 'kevinoid/vim-jsonc' Plug 'kevinoid/vim-jsonc'
endif endif
if has('nvim')
" Requires a Nerd Font-patched font
" yay nerd-fonts-fira-code
" Need to run :CHADdeps to fully install it
Plug 'ms-jpq/chadtree', {'branch': 'chad', 'do': 'python3 -m chadtree deps'}" ChadTree alternative
" Coq
" main one, might need :COQdeps to be run at install
Plug 'ms-jpq/coq_nvim', {'branch': 'coq'}
" 9000+ Snippets
Plug 'ms-jpq/coq.artifacts', {'branch': 'artifacts'}
endif
" Ack, similar like grep " Ack, similar like grep
Plug 'mileszs/ack.vim' Plug 'mileszs/ack.vim'
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment