|
|
@@ -1,131 +0,0 @@
|
|
|
-"# Chargement de Vundle
|
|
|
-filetype off
|
|
|
-set rtp+=~/.vim/bundle/Vundle.vim
|
|
|
-call vundle#begin()
|
|
|
-Plugin 'gmarik/Vundle.vim'
|
|
|
-
|
|
|
-"# Liste des plugins
|
|
|
-Plugin 'scrooloose/nerdtree'
|
|
|
-Plugin 'jeffkreeftmeijer/vim-numbertoggle'
|
|
|
-Plugin 'tpope/vim-fugitive'
|
|
|
-Plugin 'tpope/vim-dispatch'
|
|
|
-Plugin 'airblade/vim-gitgutter'
|
|
|
-Plugin 'tmhedberg/matchit'
|
|
|
-Plugin 'morhetz/gruvbox'
|
|
|
-Plugin 'bkad/CamelCaseMotion'
|
|
|
-Plugin 'Townk/vim-autoclose'
|
|
|
-Plugin 'tpope/vim-endwise'
|
|
|
-Plugin 'majutsushi/tagbar'
|
|
|
-Plugin 'jeetsukumaran/vim-buffergator'
|
|
|
-Plugin 'mbbill/undotree'
|
|
|
-Plugin 'wesQ3/vim-windowswap'
|
|
|
-Plugin 'vim-airline/vim-airline'
|
|
|
-Plugin 'tpope/vim-commentary'
|
|
|
-Plugin 'ervandew/supertab'
|
|
|
-" TODO lire :h ins-completion
|
|
|
-" TODO : retab <tab> to <C-X><??> ?
|
|
|
-Plugin 'justmao945/vim-clang'
|
|
|
-"Plugin 'Valloric/YouCompleteMe'
|
|
|
-"Plugin 'jvoorhis/coq.vim'
|
|
|
-"Plugin 'vim-scripts/CoqIDE'
|
|
|
-
|
|
|
-" Dépendance pour coquille
|
|
|
-Plugin 'let-def/vimbufsync'
|
|
|
-Plugin 'the-lambda-church/coquille'
|
|
|
-
|
|
|
-" TODO ocaml: fichier .annot, maps (ANNOT : trouve le type du mot sous le curseur :D)
|
|
|
-" http://stackoverflow.com/questions/15514908/which-is-the-current-setup-to-use-ocaml-in-vim/17234163#17234163
|
|
|
-" annot : require compile with -annot
|
|
|
-au BufRead,BufNewFile *.ml,*.mli compiler ocaml
|
|
|
-
|
|
|
-" a tester
|
|
|
-" ocaml : https://github.com/the-lambda-church/merlin
|
|
|
-" coq : https://github.com/the-lambda-church/coquille
|
|
|
-"Plugin 'xolox/vim-misc' " dépendance pour vim-easytags
|
|
|
-"Plugin 'xolox/vim-easytags' " idem ====> Que le fichier en cours ? Aucun intérêt si oui
|
|
|
-"Plugin 'airblade/vim-rooter' " combiné avec les tags (pour éviter d'avoir des fichiers tags dans les sous-dossiers)
|
|
|
-"Plugin 'octol/vim-cpp-enhanced-highlight' " idem
|
|
|
-"Plugin 'Xuyuanp/nerdtree-git-plugin' " => caractères moches
|
|
|
-
|
|
|
-" http://vim.wikia.com/wiki/Compiling_LaTeX_from_Vim#Automatic_LaTeX_plugin (à mettre dans ftplugin/tex ?)
|
|
|
-" Plugin 'coot/atp_vim'
|
|
|
-
|
|
|
-" TODO : cscope ?
|
|
|
-" https://en.wikipedia.org/wiki/Cscope
|
|
|
-" http://vim.wikia.com/wiki/Browsing_programs_with_tags#Comments
|
|
|
-
|
|
|
-call vundle#end()
|
|
|
-
|
|
|
-"# Remap les mouvements normaux (w, b, e) en mouvements CamelCaseMotion
|
|
|
-map <silent> w <Plug>CamelCaseMotion_w
|
|
|
-map <silent> b <Plug>CamelCaseMotion_b
|
|
|
-map <silent> e <Plug>CamelCaseMotion_e
|
|
|
-map <silent> ge <Plug>CamelCaseMotion_ge
|
|
|
-sunmap w
|
|
|
-sunmap b
|
|
|
-sunmap e
|
|
|
-sunmap ge
|
|
|
-
|
|
|
-"# Mapping pour activer/désactiver vim-autoclose
|
|
|
-nmap <silent> <Leader>a :AutoCloseToggle<CR>
|
|
|
-
|
|
|
-"# Mapping pour ouvrir/fermer NERDTree
|
|
|
-nmap <silent> <Leader>t :NERDTreeToggle<CR>
|
|
|
-
|
|
|
-"# Mapping pour ouvrir/fermer TagBar
|
|
|
-nmap <silent> <Leader>r :TagbarToggle<CR>
|
|
|
-
|
|
|
-"# Mapping pour ouvrir/fermer Undotree
|
|
|
-nmap <silent> <Leader>u :UndotreeToggle<CR>
|
|
|
-
|
|
|
-"# Mapping pour GitGutter
|
|
|
-nmap <silent> gu :GitGutterUndoHunk<CR>
|
|
|
-nmap <silent> gn :GitGutterNextHunk<CR>
|
|
|
-nmap <silent> gp :GitGutterPrevHunk<CR>
|
|
|
-
|
|
|
-"# Ouvre NERDTree automatiquement
|
|
|
-"autocmd vimenter * NERDTree
|
|
|
-" focus sur la fenêtre principale
|
|
|
-"autocmd vimenter * wincmd w
|
|
|
-
|
|
|
-" et ferme vim s'il ne reste que NERDTree
|
|
|
-autocmd bufenter * if (winnr("$") == 1 && exists("b:NERDTree") && b:NERDTree.isTabTree()) | q | endif
|
|
|
-" NERDTree à droite
|
|
|
-
|
|
|
-let g:NERDTreeWinPos = "right"
|
|
|
-
|
|
|
-"# Paramètres de buffergator
|
|
|
-" Pas de chemin absolu
|
|
|
-let g:buffergator_show_full_directory_path = 0
|
|
|
-" Désactive tous les raccourcis d'accès
|
|
|
-let g:buffergator_suppress_keymaps = 1
|
|
|
-" Sauf ceux-ci :
|
|
|
-nmap <Leader>b :BuffergatorOpen<CR>
|
|
|
-nmap gb <C-^>
|
|
|
-" Fenêtre en haut, hauteur 8
|
|
|
-let g:buffergator_viewport_split_policy = "T"
|
|
|
-let g:buffergator_hsplit_size = 8
|
|
|
-
|
|
|
-"# Paramètres de Airline
|
|
|
-" Pas de vérifications sur les caractères blancs
|
|
|
-let g:airline#extensions#whitespace#checks = []
|
|
|
-
|
|
|
-"# N'active pas le completement automatiquement pour vim-clang
|
|
|
-"let g:clang_auto = 0
|
|
|
-
|
|
|
-" TODO : plutôt regrouper par outils (coq, …)
|
|
|
-"# Paramètres de vim-commentary
|
|
|
-autocmd FileType coq setlocal commentstring=(*\ %s\ *)
|
|
|
-map <buffer> <silent> <M-c> :CoqLaunch<CR>
|
|
|
-map <buffer> <silent> <M-j> :CoqNext<CR>
|
|
|
-map <buffer> <silent> <M-k> :CoqUndo<CR>
|
|
|
-map <buffer> <silent> <M-l> :CoqToCursor<CR>
|
|
|
-
|
|
|
-
|
|
|
-"# Paramètres de coquille
|
|
|
-" Bouge le curseur
|
|
|
-let g:coquille_auto_move = 'true'
|
|
|
-
|
|
|
-"# Active l'indentation et les plugins spécifiques
|
|
|
-filetype indent on
|
|
|
-filetype plugin on
|
Thibaut Marty