Skip to content

Instantly share code, notes, and snippets.

@robherley
Created July 5, 2018 15:17
Show Gist options
  • Save robherley/7a50427091230d6905c3a5e78c5b7b33 to your computer and use it in GitHub Desktop.
Save robherley/7a50427091230d6905c3a5e78c5b7b33 to your computer and use it in GitHub Desktop.
set number
set relativenumber
set smartindent
set showcmd
set expandtab
set tabstop=4
set softtabstop=4
set shiftwidth=4
set ruler
set scrolloff=1
set mouse=a
set termguicolors
call plug#begin('~/.config/nvim/plugged')
Plug 'flazz/vim-colorschemes'
Plug 'scrooloose/nerdtree'
Plug 'Xuyuanp/nerdtree-git-plugin'
Plug 'vim-airline/vim-airline'
Plug 'vim-airline/vim-airline-themes'
Plug 'FStarLang/VimFStar', {'for': 'fstar'}
Plug 'fsharp/vim-fsharp', {
\ 'for': 'fsharp',
\ 'do': 'make fsautocomplete',
\}
call plug#end()
nmap ft :NERDTree<CR>
autocmd bufenter * if (winnr("$") == 1 && exists("b:NERDTree") && b:NERDTree.isTabTree()) | q | endif
" autocmd! BufWritePost * Neomake
let g:airline_powerline_fonts = 1
let g:airline_theme='base16'
" let g:deoplete#enable_at_startup = 1
" let g:deoplete#sources#clang#libclang_path = '/usr/lib64/libclang.so'
" let g:deoplete#sources#clang#clang_header = '/usr/include/clang'
let g:gitgutter_realtime = 0
colorscheme material
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment