|
|
@@ -6,19 +6,53 @@ Plugin 'gmarik/Vundle.vim'
|
|
|
|
|
|
"# Liste des plugins
|
|
|
Plugin 'scrooloose/nerdtree'
|
|
|
-Plugin 'ervandew/supertab'
|
|
|
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 'Lokaltog/vim-easymotion'
|
|
|
-Plugin 'junegunn/vim-easy-align'
|
|
|
-Plugin 'vim-scripts/omlet.vim'
|
|
|
+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()
|
|
|
|
|
|
@@ -26,9 +60,11 @@ call vundle#end()
|
|
|
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>
|
|
|
@@ -36,12 +72,59 @@ nmap <silent> <Leader>a :AutoCloseToggle<CR>
|
|
|
"# Mapping pour ouvrir/fermer NERDTree
|
|
|
nmap <silent> <Leader>t :NERDTreeToggle<CR>
|
|
|
|
|
|
-"# Mapping pour EasyAlign
|
|
|
-vmap <Enter> <Plug>(EasyAlign)
|
|
|
+"# 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>
|
|
|
+
|
|
|
|
|
|
-"# Touches pour EasyMotion
|
|
|
-" (par défaut : 'asdghklqwertyuiopzxcvbnmfj;')
|
|
|
-let g:EasyMotion_keys='qsdghklazertyuiopwxcvbnmfj;'
|
|
|
+"# Paramètres de coquille
|
|
|
+" Bouge le curseur
|
|
|
+let g:coquille_auto_move = 'true'
|
|
|
|
|
|
"# Active l'indentation et les plugins spécifiques
|
|
|
filetype indent on
|
Thibaut Marty