Last active
April 20, 2019 05:25
-
-
Save theodore-weld/56b765104c6716da571f82ffe79bc7fa to your computer and use it in GitHub Desktop.
This file contains 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
set nocompatible " be iMproved, required | |
filetype off " required | |
execute pathogen#infect() | |
" set the runtime path to include Vundle and initialize | |
set rtp+=~/.vim/bundle/Vundle.vim | |
call vundle#begin() | |
" alternatively, pass a path where Vundle should install plugins | |
"call vundle#begin('~/some/path/here') | |
" let Vundle manage Vundle, required | |
Plugin 'gmarik/Vundle.vim' | |
Plugin 'Valloric/YouCompleteMe' | |
" All of your Plugins must be added before the following line | |
call vundle#end() " required | |
filetype plugin indent on " required | |
" To ignore plugin indent changes, instead use: | |
"filetype plugin on | |
" | |
" Brief help | |
" :PluginList - lists configured plugins | |
" :PluginInstall - installs plugins; append `!` to update or just :PluginUpdate | |
" :PluginSearch foo - searches for foo; append `!` to refresh local cache | |
" :PluginClean - confirms removal of unused plugins; append `!` to auto-approve removal | |
" | |
" see :h vundle for more details or wiki for FAQ | |
" Put your non-Plugin stuff after this line | |
set backspace=2 ruler expandtab shiftwidth=4 softtabstop=4 smartindent | |
set guifont=Consolas\ 11 | |
syntax on | |
map <F10> :echo "hi<" . synIDattr(synID(line("."),col("."),1),"name") . '> trans<' | |
\ . synIDattr(synID(line("."),col("."),0),"name") . "> lo<" | |
\ . synIDattr(synIDtrans(synID(line("."),col("."),1)),"name") . ">"<CR> | |
" Options for YCM | |
let g:ycm_extra_conf_globlist = ['~/.ycm_extra_conf.py'] | |
" ## added by OPAM user-setup for vim / base ## 93ee63e278bdfc07d1139a748ed3fff2 ## you can edit, but keep this line | |
let s:opam_share_dir = system("opam config var share") | |
let s:opam_share_dir = substitute(s:opam_share_dir, '[\r\n]*$', '', '') | |
let s:opam_configuration = {} | |
function! OpamConfOcpIndent() | |
execute "set rtp^=" . s:opam_share_dir . "/ocp-indent/vim" | |
endfunction | |
let s:opam_configuration['ocp-indent'] = function('OpamConfOcpIndent') | |
function! OpamConfOcpIndex() | |
execute "set rtp+=" . s:opam_share_dir . "/ocp-index/vim" | |
endfunction | |
let s:opam_configuration['ocp-index'] = function('OpamConfOcpIndex') | |
function! OpamConfMerlin() | |
let l:dir = s:opam_share_dir . "/merlin/vim" | |
execute "set rtp+=" . l:dir | |
endfunction | |
let s:opam_configuration['merlin'] = function('OpamConfMerlin') | |
let s:opam_packages = ["ocp-indent", "ocp-index", "merlin"] | |
let s:opam_check_cmdline = ["opam list --installed --short --safe --color=never"] + s:opam_packages | |
let s:opam_available_tools = split(system(join(s:opam_check_cmdline))) | |
for tool in s:opam_packages | |
" Respect package order (merlin should be after ocp-index) | |
if count(s:opam_available_tools, tool) > 0 | |
call s:opam_configuration[tool]() | |
endif | |
endfor | |
" ## end of OPAM user-setup addition for vim / base ## keep this line | |
" ## added by OPAM user-setup for vim / ocp-indent ## c7a4e59b45a01748da2bcca87e88b8ee ## you can edit, but keep this line | |
if count(s:opam_available_tools,"ocp-indent") == 0 | |
source "/home/theodore/.opam/4.06.1/share/ocp-indent/vim/indent/ocaml.vim" | |
endif | |
" ## end of OPAM user-setup addition for vim / ocp-indent ## keep this line | |
set rtp+=</path/to/ocp-indent-vim> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment