diff --git a/files/.bashrc b/files/.bashrc index bc83a27..4fb864d 100644 --- a/files/.bashrc +++ b/files/.bashrc @@ -53,7 +53,7 @@ export TERMINAL="/usr/bin/terminator" export LC_REALUSER='tbastian' # Opam -which opam > /dev/null 2>&1 && [ -d ~/.opam ] && eval `opam config env` +which opam > /dev/null 2>&1 && [ -d ~/.opam ] && eval $(opam config env) # Gem if [ -d "$HOME/.gem/ruby/2.4.0/bin" ] ; then diff --git a/files/.vimrc b/files/.vimrc index 514d6a7..fdc083d 100644 --- a/files/.vimrc +++ b/files/.vimrc @@ -59,7 +59,8 @@ Plugin 'tpope/vim-fugitive' Plugin 'hynek/vim-python-pep8-indent' Plugin 'tpope/vim-git' Plugin 'fs111/pydoc.vim' -Plugin 'vim-syntastic/syntastic' +" Plugin 'vim-syntastic/syntastic' +Plugin 'w0rp/ale' Plugin 'itchyny/vim-haskell-indent' Plugin 'junegunn/goyo.vim' Plugin 'vim-airline/vim-airline' @@ -67,10 +68,12 @@ Plugin 'vim-airline/vim-airline-themes' "Plugin 'davidhalter/jedi-vim' Plugin 'vim-scripts/a.vim' Plugin 'rhysd/vim-clang-format' -Plugin 'christoomey/vim-tmux-navigator' Plugin 'chrisbra/csv.vim' Plugin 'let-def/vimbufsync' Plugin 'the-lambda-church/coquille' +Plugin 'vim-latex/vim-latex' +Plugin 'let-def/ocp-indent-vim' +Plugin 'christoomey/vim-tmux-navigator' call vundle#end() " required filetype plugin indent on " required @@ -103,12 +106,19 @@ let g:syntastic_python_checkers = ['flake8'] " let g:syntastic_ignore_files = [] """"""""""""""""" OCaml +au BufEnter *.ml setf ocaml +au BufEnter *.mli setf ocaml +au FileType ocaml call FT_ocaml() + +function FT_ocaml() + set shiftwidth=2 + set tabstop=2 +endfunction + let g:opamshare = substitute(system('opam config var share'),'\n$','','''') -"""" Merlin execute "set rtp+=" . g:opamshare . "/merlin/vim" -let g:syntastic_ocaml_checkers = ['merlin'] -"""" Ocp-indent (OCaml indentation) -set rtp^=g:opamshare."/ocp-indent/vim" +execute "set rtp+=" . g:opamshare . "/merlin/vimbufsync" +execute "set rtp+=" . g:opamshare . "/ocp-indent/vim" """"""""""""""""" Python let g:jedi#goto_definitions_command = "l" @@ -159,3 +169,5 @@ noremap xnoremap b :'<,'>:w ! xnoremap x :'<,'>:w !xclip -selection clipboard + +noremap a :ALEToggle