2016-03-31 02:03:55 +00:00
|
|
|
set nocompatible " be iMproved, required
|
|
|
|
|
2016-04-01 11:45:17 +00:00
|
|
|
syntax enable
|
|
|
|
set tabstop=4
|
2016-11-14 14:06:52 +00:00
|
|
|
set shiftwidth=0 " Use tabstop
|
|
|
|
set softtabstop=-1 " Use tabstop
|
2016-04-01 11:45:17 +00:00
|
|
|
set expandtab
|
|
|
|
set number
|
|
|
|
set autoindent
|
|
|
|
set laststatus=2
|
2017-07-15 12:36:22 +00:00
|
|
|
set mouse=nicr
|
2016-04-01 11:45:17 +00:00
|
|
|
set encoding=utf-8
|
2016-04-01 16:39:00 +00:00
|
|
|
set background=dark
|
2016-10-12 13:46:25 +00:00
|
|
|
set directory=$HOME/.vim/swapfiles//
|
2016-05-16 16:43:27 +00:00
|
|
|
|
2017-07-15 12:36:22 +00:00
|
|
|
"nnoremap <LeftMouse> <nop>
|
|
|
|
"nnoremap <RightMouse> <nop>
|
|
|
|
|
2016-05-16 16:43:27 +00:00
|
|
|
" GVim settings
|
|
|
|
set guifont=Sauce\ Code\ Pro\ 10.5
|
|
|
|
set guioptions=
|
2016-04-01 11:45:17 +00:00
|
|
|
|
2016-05-10 16:07:08 +00:00
|
|
|
" Change to dvorak-mapped keys
|
|
|
|
let g:use_dvorak = 1
|
|
|
|
|
2016-03-31 02:03:55 +00:00
|
|
|
" set the runtime path to include Vundle and initialize
|
|
|
|
set rtp+=~/.vim/bundle/Vundle.vim
|
|
|
|
call vundle#begin()
|
|
|
|
|
|
|
|
Plugin 'VundleVim/Vundle.vim'
|
|
|
|
Plugin 'Valloric/YouCompleteMe'
|
2016-04-17 14:56:09 +00:00
|
|
|
Plugin 'scrooloose/syntastic'
|
|
|
|
Plugin 'tpope/vim-sensible'
|
2016-05-10 16:07:08 +00:00
|
|
|
Plugin 'vim-scripts/vim-auto-save'
|
2016-04-17 14:56:09 +00:00
|
|
|
Plugin 'airblade/vim-gitgutter'
|
2016-04-01 15:19:20 +00:00
|
|
|
Plugin 'ryanoasis/vim-devicons'
|
2016-03-31 02:03:55 +00:00
|
|
|
Plugin 'vim-airline/vim-airline'
|
|
|
|
Plugin 'vim-airline/vim-airline-themes'
|
2016-05-01 13:10:48 +00:00
|
|
|
Plugin 'PotatoesMaster/i3-vim-syntax'
|
2016-07-20 15:27:32 +00:00
|
|
|
Plugin 'solarnz/thrift.vim'
|
2017-03-21 05:12:52 +00:00
|
|
|
Plugin 'lervag/vimtex'
|
2016-03-31 02:03:55 +00:00
|
|
|
|
|
|
|
call vundle#end()
|
|
|
|
|
2016-10-04 08:50:16 +00:00
|
|
|
let g:opamshare = substitute(system('opam config var share'),'\n$','','''')
|
|
|
|
execute "set rtp+=" . g:opamshare . "/merlin/vim"
|
|
|
|
execute "set rtp+=" . g:opamshare . "/vim/syntax/ocp-indent.vim"
|
|
|
|
let g:syntastic_ocaml_checkers = ['merlin']
|
2016-10-14 21:41:46 +00:00
|
|
|
let g:syntastic_ignore_files = ['\m\c.(mll|mly)$']
|
2016-10-12 14:04:44 +00:00
|
|
|
set omnifunc=syntaxcomplete#Complete
|
2016-10-04 08:50:16 +00:00
|
|
|
|
2016-04-04 02:51:34 +00:00
|
|
|
" YouCompleteMe python fix
|
|
|
|
let g:ycm_server_python_interpreter = '/usr/bin/python3'
|
|
|
|
|
2016-04-01 11:45:17 +00:00
|
|
|
" Vim-Airline config
|
|
|
|
let g:Powerline_symbols = 'fancy'
|
|
|
|
let g:airline_powerline_fonts = 1
|
2016-04-01 16:39:00 +00:00
|
|
|
let g:airline_theme='solarized'
|
2016-05-10 16:07:08 +00:00
|
|
|
let g:airline#extensions#tabline#enabled = 1
|
|
|
|
|
|
|
|
" vim-auto-save
|
|
|
|
let g:auto_save = 1 " enable AutoSave on Vim startup
|
|
|
|
|
|
|
|
let mapleader="\<space>"
|
2016-10-12 14:03:09 +00:00
|
|
|
" Unbind arrow keys
|
2016-10-20 23:04:45 +00:00
|
|
|
for prefix in ['n', 'v']
|
2016-10-12 14:03:09 +00:00
|
|
|
for key in ['<Up>', '<Down>', '<Left>', '<Right>']
|
|
|
|
exe prefix . "noremap " . key . " <Nop>"
|
|
|
|
endfor
|
|
|
|
endfor
|
2016-05-10 16:07:08 +00:00
|
|
|
|
|
|
|
" Dvorak Hackery
|
|
|
|
" Source: https://github.com/sporkbox/vimrc/blob/master/vimrc
|
|
|
|
if (exists("g:use_dvorak") && g:use_dvorak == 1)
|
|
|
|
" I use a Dvorak keyboard, so standard vim movement keys are a hassle.
|
|
|
|
" Since mnemonics are helpful all around, I need a mapping that gives me
|
|
|
|
" pain-free file navigation without screwing up mnemonics (too much).
|
|
|
|
"
|
|
|
|
" Thus:
|
|
|
|
" (D)elete is now (K)ill: d2w == k2w "kill 2 words"
|
|
|
|
" Un(T)il is now (J)ump-To: dt( == kj( "kill, jump-to paren"
|
|
|
|
" (N)ext is now (L)eap: cn == cl "change up to leap point"
|
|
|
|
|
|
|
|
" Standard movement, which is the true focus of this hack.
|
|
|
|
" Mnemonics are awesome, so let's preserve as much as possible.
|
|
|
|
noremap d h
|
|
|
|
noremap h j
|
|
|
|
noremap t k
|
|
|
|
noremap n l
|
|
|
|
noremap D H
|
|
|
|
noremap H J
|
|
|
|
noremap T K
|
|
|
|
noremap N L
|
|
|
|
|
|
|
|
noremap gh gj
|
|
|
|
noremap gt gk
|
|
|
|
|
|
|
|
" I work with tabs every now and then. No, I don't have a mnemonic, so
|
|
|
|
" stfu.
|
|
|
|
noremap gj gt
|
|
|
|
noremap gJ gT
|
|
|
|
|
|
|
|
" Window movement, equally important
|
|
|
|
noremap <C-w>d <C-w>h
|
|
|
|
noremap <C-w>h <C-w>j
|
|
|
|
noremap <C-w>t <C-w>k
|
|
|
|
noremap <C-w>n <C-w>l
|
|
|
|
|
|
|
|
nnoremap <C-w><C-d> <C-w><C-h>
|
|
|
|
nnoremap <C-w><C-h> <C-w><C-j>
|
|
|
|
nnoremap <C-w><C-t> <C-w><C-k>
|
|
|
|
nnoremap <C-w><C-n> <C-w><C-l>
|
|
|
|
|
|
|
|
"nnoremap <C-d> <C-w>h
|
|
|
|
"nnoremap <C-h> <C-w>j
|
|
|
|
"nnoremap <C-t> <C-w>k
|
|
|
|
"nnoremap <C-n> <C-w>l
|
|
|
|
|
|
|
|
" Account for tag jumping
|
|
|
|
nnoremap <C-j> <C-t>
|
|
|
|
|
|
|
|
" Remappings for the D key
|
|
|
|
noremap k d
|
|
|
|
noremap K D
|
|
|
|
|
|
|
|
" Remappings for the T key
|
|
|
|
noremap j t
|
|
|
|
noremap J T
|
|
|
|
|
|
|
|
" Remapping for the L key
|
|
|
|
noremap l n
|
|
|
|
noremap L N
|
|
|
|
|
|
|
|
" General purpose help; the originals remain for convenience
|
|
|
|
noremap - 0
|
|
|
|
noremap _ $
|
|
|
|
|
|
|
|
" Fold-related keybindings
|
|
|
|
noremap zh zj
|
|
|
|
noremap zt zk
|
|
|
|
|
|
|
|
endif
|
2016-03-31 02:03:55 +00:00
|
|
|
|
|
|
|
" Interface with system clipboard
|
|
|
|
noremap <Leader>y "*y
|
|
|
|
noremap <Leader>p "*p
|
|
|
|
noremap <Leader>Y "+y
|
|
|
|
noremap <Leader>P "+p
|
|
|
|
|
2016-05-16 16:46:22 +00:00
|
|
|
" Search options
|
|
|
|
set hlsearch
|
|
|
|
set ignorecase
|
|
|
|
set smartcase
|
|
|
|
|
|
|
|
" Save aliases.
|
2016-05-10 16:07:08 +00:00
|
|
|
noremap <Leader>q :wq<CR>
|
2016-04-01 13:00:11 +00:00
|
|
|
com W w
|
|
|
|
com Q q
|
|
|
|
com Wq wq
|
|
|
|
com WQ wq
|
2016-03-31 02:03:55 +00:00
|
|
|
" Write with sudo
|
|
|
|
cmap w!! w !sudo tee > /dev/null %
|