2024-02-19 17:15:40 +01:00
|
|
|
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 <C-L> to clear the highlighting of :set hlsearch.
|
|
|
|
if maparg('<C-L>', 'n') ==# ''
|
|
|
|
nnoremap <silent> <C-L> :nohlsearch<CR><C-L>
|
|
|
|
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 <C-U> <C-G>u<C-U>
|
|
|
|
set mouse=a
|
|
|
|
vmap <LeftRelease> "*ygv
|
|
|
|
|
|
|
|
set tabstop=2
|
|
|
|
set shiftwidth=2
|
|
|
|
set expandtab
|
|
|
|
|
|
|
|
syntax enable
|
|
|
|
|
2024-02-19 23:18:13 +01:00
|
|
|
nnoremap ff <cmd>Telescope find_files<cr>
|
|
|
|
nnoremap fg <cmd>Telescope live_grep<cr>
|
|
|
|
nnoremap fb <cmd>Telescope buffers<cr>
|
|
|
|
|
2024-02-19 17:15:40 +01:00
|
|
|
" 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 <A-c> :CoqStart<CR>
|
|
|
|
" map <A-q> :CoqStop<CR>
|
|
|
|
" map <A-j> :<C-U>call Coqfun(v:count,"CoqNext")<CR>
|
|
|
|
" map <A-k> :<C-U>call Coqfun(v:count,"CoqUndo")<CR>
|
|
|
|
" map <A-l> :CoqToLine<CR>
|
|
|
|
" imap <A-j> <C-O>:call Coqfun(v:count,"CoqNext")<CR>
|
|
|
|
" imap <A-k> <C-O>:call Coqfun(v:count,"CoqUndo")<CR>
|
|
|
|
" imap <A-l> <C-O>:CoqToLine<CR>
|
|
|
|
"
|
|
|
|
" au BufRead,BufNewFile *.lus,*.ept setlocal filetype=lustre
|
|
|
|
|
|
|
|
""""""""""""""""""""""""""""""""" Colors
|
|
|
|
nnoremap <C-J> a<CR><Esc>k$
|
|
|
|
|
|
|
|
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 <F2> :set number!<CR>
|
|
|
|
map <F3> :set relativenumber!<CR>
|
|
|
|
|
|
|
|
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
|