Fix shortcut gitpull.

Fix config file for jedi.
This commit is contained in:
Christophe Buffenoir 2013-10-11 17:34:19 +02:00
parent 41e520bd65
commit 3bc267184e
2 changed files with 4 additions and 1 deletions

View file

@ -163,6 +163,8 @@ autocmd FileType html set omnifunc=htmlcomplete#CompleteTags
autocmd FileType css set omnifunc=csscomplete#CompleteCSS autocmd FileType css set omnifunc=csscomplete#CompleteCSS
autocmd FileType php set omnifunc=phpcomplete#CompletePHP autocmd FileType php set omnifunc=phpcomplete#CompletePHP
autocmd BufRead,BufWinEnter,BufWrite * SyntasticCheck
"""""""""""""""""""""""""""""""""""""""""""""""""" """"""""""""""""""""""""""""""""""""""""""""""""""
@ -226,4 +228,4 @@ if ! has('gui_running')
augroup END augroup END
endif endif
let g:jedi#autocompletion_command = "<C-f>" let g:jedi#completions_command = "<C-f>"

View file

@ -108,6 +108,7 @@ alias gittree='git log --graph'
alias gitlstags='git describe --tags' alias gitlstags='git describe --tags'
alias gittag='git tag -a' alias gittag='git tag -a'
alias gitw='git instaweb --httpd=webrick' alias gitw='git instaweb --httpd=webrick'
alias gitpull='git pull --stat --progress'
gitgrephistory(){ gitgrephistory(){
if [ $# = 1 ] ; then if [ $# = 1 ] ; then