Created
January 17, 2015 00:01
-
-
Save j0sh/fcc83e8545735d0d9bdb to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| syntax on | |
| set number | |
| set tabstop=4 | |
| set shiftwidth=4 | |
| set expandtab | |
| set background=dark | |
| colorscheme darkblue | |
| :highlight ExtraWhitespace ctermbg=red guibg=red | |
| "show trailing whitespace | |
| :autocmd BufWinEnter * match ExtraWhitespace /\s\+$/ | |
| "execute pathogen#infect() | |
| "let s:ocamlmerlin=substitute(system('opam config var share'),'\n$','','''') . "/ocamlmerlin" | |
| "let g:syntastic_ocaml_checkers = ['merlin'] | |
| "execute "set rtp+=".s:ocamlmerlin."/vim" | |
| "execute "set rtp+=".s:ocamlmerlin."/vimbufsync" | |
| "let opamshare=system("opam config var share | tr -d '\n'") | |
| "execute "autocmd FileType ocaml source".opamshare."/vim/syntax/ocp-indent.vim" | |
| set rtp+=/home/josh/ocaml/ocp-indent-vim | |
| filetype indent on | |
| filetype plugin indent on | |
| "au BufEnter *.ml setf ocaml | |
| "au BufEnter *.mli setf ocaml | |
| "au FileType ocaml call FT_ocaml() | |
| "function FT_ocaml() | |
| " set textwidth=80 | |
| " set colorcolumn=80 | |
| " set shiftwidth=2 | |
| " set tabstop=2 | |
| " " ocp-indent with ocp-indent-vim | |
| " let opamshare=system("opam config var share | tr -d '\n'") | |
| " execute "autocmd FileType ocaml source".opamshare."/vim/syntax/ocp-indent.vim" | |
| " filetype indent on | |
| " filetype plugin indent on | |
| "endfunction | |
| " Ignore irrelevant suffixes for filename completion | |
| set wildignore+=*.a,*.bak,*~,*.swp,*.o,*.info,*.aux,*.dvi,*.bbl,*.blg,*.brf,*.cb,*.ind,*.idx,*.ilg,*.inx,*.out,*.toc,*.cmi,*.cmo,*.cma,*.cmx,*.cmp,*.cmxa,*.cmxs,*.omc,*.annot,*.exe,*.native,*.byte,*.bc,*.sums,*.spit,*.spot,*.clib | |
| colorscheme darkblue |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment