let &packpath = &runtimepath filetype plugin indent on syntax enable " Use :help 'option' to see the documentation for the given option. set autoindent set backspace=indent,eol,start set complete-=i set smarttab let g:mapleader=";" set nrformats-=octal set ttimeout set ttimeoutlen=100 set incsearch " Use to clear the highlighting of :set hlsearch. if maparg('', 'n') ==# '' nnoremap :nohlsearch endif set laststatus=2 set ruler set showcmd set wildmenu if !&scrolloff set scrolloff=1 endif if !&sidescrolloff set sidescrolloff=5 endif set display+=lastline if &listchars ==# 'eol:$' set listchars=tab:>\ ,trail:-,extends:>,precedes:<,nbsp:+ endif if v:version > 703 || v:version == 703 && has("patch541") set formatoptions+=j " Delete comment character when joining commented lines endif if has('path_extra') setglobal tags-=./tags tags^=./tags; endif set autoread if &history < 1000 set history=1000 endif if &tabpagemax < 50 set tabpagemax=50 endif if !empty(&viminfo) set viminfo^=! endif set sessionoptions-=options " Allow color schemes to do bright colors without forcing bold. if &t_Co == 8 && $TERM !~# '^linux' set t_Co=16 endif " Load matchit.vim, but only if the user hasn't installed a newer version. if !exists('g:loaded_matchit') && findfile('plugin/matchit.vim', &rtp) ==# '' runtime! macros/matchit.vim endif inoremap u set mouse=a vmap "*ygv set tabstop=2 set shiftwidth=2 set expandtab syntax enable nnoremap ff Telescope find_files nnoremap fg Telescope live_grep nnoremap fb Telescope buffers " let g:coqtail_nomap = 1 " " function Coqfun(count, cmd) " if a:count == 0 " let l:count=1 " else " let l:count=a:count " endif " execute a:cmd . l:count " endfunction " " map :CoqStart " map :CoqStop " map :call Coqfun(v:count,"CoqNext") " map :call Coqfun(v:count,"CoqUndo") " map :CoqToLine " imap :call Coqfun(v:count,"CoqNext") " imap :call Coqfun(v:count,"CoqUndo") " imap :CoqToLine " " au BufRead,BufNewFile *.lus,*.ept setlocal filetype=lustre """"""""""""""""""""""""""""""""" Colors nnoremap ak$ set background=dark hi clear if exists("syntax_on") syntax reset endif let g:colors_name = "perso" set cursorline set number set relativenumber autocmd InsertEnter * set relativenumber! autocmd InsertLeave * set relativenumber! map :set number! map :set relativenumber! hi Normal guifg=cyan guibg=black hi NonText guifg=yellow guibg=#303030 hi comment guifg=green hi constant guifg=cyan gui=bold hi identifier guifg=cyan gui=NONE hi statement guifg=lightblue gui=NONE hi preproc guifg=Pink2 hi type guifg=seagreen gui=bold hi special guifg=yellow hi ErrorMsg guifg=Black guibg=Red hi WarningMsg guifg=Black guibg=Green hi Error guibg=Red hi Todo guifg=Black guibg=orange hi Cursor guibg=#60a060 guifg=#00ff00 hi Search guibg=darkgray guifg=black gui=bold hi IncSearch gui=NONE guibg=steelblue hi LineNr guifg=darkgrey ctermbg=234 ctermfg=141 hi CursorLine cterm = NONE hi CursorLineNR cterm=NONE ctermbg=black hi title guifg=darkgrey hi ShowMarksHL ctermfg=cyan ctermbg=lightblue cterm=bold guifg=yellow guibg=black gui=bold hi StatusLineNC gui=NONE guifg=lightblue guibg=darkblue hi StatusLine gui=bold guifg=cyan guibg=blue hi label guifg=gold2 hi operator guifg=orange hi clear Visual hi Visual term=reverse cterm=reverse gui=reverse hi DiffChange guibg=darkgreen hi DiffText guibg=olivedrab hi DiffAdd guibg=slateblue hi DiffDelete guibg=coral hi Folded guibg=gray30 hi FoldColumn guibg=gray30 guifg=white hi cIf0 guifg=gray hi diffOnly guifg=red gui=bold