Compare commits
11 Commits
88ae28450d
...
7aacd58ed5
Author | SHA1 | Date |
---|---|---|
David Holland | 7aacd58ed5 | |
David Holland | 758cde0a3e | |
David Holland | 78dd440cbc | |
David Holland | f0811a86fe | |
David Holland | 5f7e88312c | |
David Holland | 4bc891a96d | |
David Holland | 3a449bda0b | |
David Holland | 39058e8b93 | |
David Holland | df32914bd7 | |
David Holland | 3974ed3386 | |
David Holland | 925358fb63 |
|
@ -3,3 +3,4 @@ platform.vim
|
||||||
custom.vim
|
custom.vim
|
||||||
plugged/*
|
plugged/*
|
||||||
plugged_bak
|
plugged_bak
|
||||||
|
sessions/*
|
||||||
|
|
|
@ -116,6 +116,90 @@ let s:TYPE = {
|
||||||
let s:loaded = get(s:, 'loaded', {})
|
let s:loaded = get(s:, 'loaded', {})
|
||||||
let s:triggers = get(s:, 'triggers', {})
|
let s:triggers = get(s:, 'triggers', {})
|
||||||
|
|
||||||
|
function! s:isabsolute(dir) abort
|
||||||
|
return a:dir =~# '^/' || (has('win32') && a:dir =~? '^\%(\\\|[A-Z]:\)')
|
||||||
|
endfunction
|
||||||
|
|
||||||
|
function! s:git_dir(dir) abort
|
||||||
|
let gitdir = s:trim(a:dir) . '/.git'
|
||||||
|
if isdirectory(gitdir)
|
||||||
|
return gitdir
|
||||||
|
endif
|
||||||
|
if !filereadable(gitdir)
|
||||||
|
return ''
|
||||||
|
endif
|
||||||
|
let gitdir = matchstr(get(readfile(gitdir), 0, ''), '^gitdir: \zs.*')
|
||||||
|
if len(gitdir) && !s:isabsolute(gitdir)
|
||||||
|
let gitdir = a:dir . '/' . gitdir
|
||||||
|
endif
|
||||||
|
return isdirectory(gitdir) ? gitdir : ''
|
||||||
|
endfunction
|
||||||
|
|
||||||
|
function! s:git_origin_url(dir) abort
|
||||||
|
let gitdir = s:git_dir(a:dir)
|
||||||
|
let config = gitdir . '/config'
|
||||||
|
if empty(gitdir) || !filereadable(config)
|
||||||
|
return ''
|
||||||
|
endif
|
||||||
|
return matchstr(join(readfile(config)), '\[remote "origin"\].\{-}url\s*=\s*\zs\S*\ze')
|
||||||
|
endfunction
|
||||||
|
|
||||||
|
function! s:git_revision(dir) abort
|
||||||
|
let gitdir = s:git_dir(a:dir)
|
||||||
|
let head = gitdir . '/HEAD'
|
||||||
|
if empty(gitdir) || !filereadable(head)
|
||||||
|
return ''
|
||||||
|
endif
|
||||||
|
|
||||||
|
let line = get(readfile(head), 0, '')
|
||||||
|
let ref = matchstr(line, '^ref: \zs.*')
|
||||||
|
if empty(ref)
|
||||||
|
return line
|
||||||
|
endif
|
||||||
|
|
||||||
|
if filereadable(gitdir . '/' . ref)
|
||||||
|
return get(readfile(gitdir . '/' . ref), 0, '')
|
||||||
|
endif
|
||||||
|
|
||||||
|
if filereadable(gitdir . '/packed-refs')
|
||||||
|
for line in readfile(gitdir . '/packed-refs')
|
||||||
|
if line =~# ' ' . ref
|
||||||
|
return matchstr(line, '^[0-9a-f]*')
|
||||||
|
endif
|
||||||
|
endfor
|
||||||
|
endif
|
||||||
|
|
||||||
|
return ''
|
||||||
|
endfunction
|
||||||
|
|
||||||
|
function! s:git_local_branch(dir) abort
|
||||||
|
let gitdir = s:git_dir(a:dir)
|
||||||
|
let head = gitdir . '/HEAD'
|
||||||
|
if empty(gitdir) || !filereadable(head)
|
||||||
|
return ''
|
||||||
|
endif
|
||||||
|
let branch = matchstr(get(readfile(head), 0, ''), '^ref: refs/heads/\zs.*')
|
||||||
|
return len(branch) ? branch : 'HEAD'
|
||||||
|
endfunction
|
||||||
|
|
||||||
|
function! s:git_origin_branch(spec)
|
||||||
|
if len(a:spec.branch)
|
||||||
|
return a:spec.branch
|
||||||
|
endif
|
||||||
|
|
||||||
|
" The file may not be present if this is a local repository
|
||||||
|
let gitdir = s:git_dir(a:spec.dir)
|
||||||
|
let origin_head = gitdir.'/refs/remotes/origin/HEAD'
|
||||||
|
if len(gitdir) && filereadable(origin_head)
|
||||||
|
return matchstr(get(readfile(origin_head), 0, ''),
|
||||||
|
\ '^ref: refs/remotes/origin/\zs.*')
|
||||||
|
endif
|
||||||
|
|
||||||
|
" The command may not return the name of a branch in detached HEAD state
|
||||||
|
let result = s:lines(s:system('git symbolic-ref --short HEAD', a:spec.dir))
|
||||||
|
return v:shell_error ? '' : result[-1]
|
||||||
|
endfunction
|
||||||
|
|
||||||
if s:is_win
|
if s:is_win
|
||||||
function! s:plug_call(fn, ...)
|
function! s:plug_call(fn, ...)
|
||||||
let shellslash = &shellslash
|
let shellslash = &shellslash
|
||||||
|
@ -720,7 +804,7 @@ function! s:syntax()
|
||||||
syn match plugNumber /[0-9]\+[0-9.]*/ contained
|
syn match plugNumber /[0-9]\+[0-9.]*/ contained
|
||||||
syn match plugBracket /[[\]]/ contained
|
syn match plugBracket /[[\]]/ contained
|
||||||
syn match plugX /x/ contained
|
syn match plugX /x/ contained
|
||||||
syn match plugDash /^-/
|
syn match plugDash /^-\{1}\ /
|
||||||
syn match plugPlus /^+/
|
syn match plugPlus /^+/
|
||||||
syn match plugStar /^*/
|
syn match plugStar /^*/
|
||||||
syn match plugMessage /\(^- \)\@<=.*/
|
syn match plugMessage /\(^- \)\@<=.*/
|
||||||
|
@ -738,6 +822,7 @@ function! s:syntax()
|
||||||
syn match plugError /^x.*/
|
syn match plugError /^x.*/
|
||||||
syn region plugDeleted start=/^\~ .*/ end=/^\ze\S/
|
syn region plugDeleted start=/^\~ .*/ end=/^\ze\S/
|
||||||
syn match plugH2 /^.*:\n-\+$/
|
syn match plugH2 /^.*:\n-\+$/
|
||||||
|
syn match plugH2 /^-\{2,}/
|
||||||
syn keyword Function PlugInstall PlugStatus PlugUpdate PlugClean
|
syn keyword Function PlugInstall PlugStatus PlugUpdate PlugClean
|
||||||
hi def link plug1 Title
|
hi def link plug1 Title
|
||||||
hi def link plug2 Repeat
|
hi def link plug2 Repeat
|
||||||
|
@ -850,7 +935,7 @@ function! s:prepare(...)
|
||||||
call s:new_window()
|
call s:new_window()
|
||||||
endif
|
endif
|
||||||
|
|
||||||
nnoremap <silent> <buffer> q :if b:plug_preview==1<bar>pc<bar>endif<bar>bd<cr>
|
nnoremap <silent> <buffer> q :call <SID>close_pane()<cr>
|
||||||
if a:0 == 0
|
if a:0 == 0
|
||||||
call s:finish_bindings()
|
call s:finish_bindings()
|
||||||
endif
|
endif
|
||||||
|
@ -872,6 +957,15 @@ function! s:prepare(...)
|
||||||
endif
|
endif
|
||||||
endfunction
|
endfunction
|
||||||
|
|
||||||
|
function! s:close_pane()
|
||||||
|
if b:plug_preview == 1
|
||||||
|
pc
|
||||||
|
let b:plug_preview = -1
|
||||||
|
else
|
||||||
|
bd
|
||||||
|
endif
|
||||||
|
endfunction
|
||||||
|
|
||||||
function! s:assign_name()
|
function! s:assign_name()
|
||||||
" Assign buffer name
|
" Assign buffer name
|
||||||
let prefix = '[Plugins]'
|
let prefix = '[Plugins]'
|
||||||
|
@ -991,10 +1085,11 @@ endfunction
|
||||||
|
|
||||||
function! s:checkout(spec)
|
function! s:checkout(spec)
|
||||||
let sha = a:spec.commit
|
let sha = a:spec.commit
|
||||||
let output = s:system(['git', 'rev-parse', 'HEAD'], a:spec.dir)
|
let output = s:git_revision(a:spec.dir)
|
||||||
if !v:shell_error && !s:hash_match(sha, s:lines(output)[0])
|
if !empty(output) && !s:hash_match(sha, s:lines(output)[0])
|
||||||
|
let credential_helper = s:git_version_requirement(2) ? '-c credential.helper= ' : ''
|
||||||
let output = s:system(
|
let output = s:system(
|
||||||
\ 'git fetch --depth 999999 && git checkout '.plug#shellescape(sha).' --', a:spec.dir)
|
\ 'git '.credential_helper.'fetch --depth 999999 && git checkout '.plug#shellescape(sha).' --', a:spec.dir)
|
||||||
endif
|
endif
|
||||||
return output
|
return output
|
||||||
endfunction
|
endfunction
|
||||||
|
@ -1446,7 +1541,7 @@ while 1 " Without TCO, Vim stack is bound to explode
|
||||||
let [error, _] = s:git_validate(spec, 0)
|
let [error, _] = s:git_validate(spec, 0)
|
||||||
if empty(error)
|
if empty(error)
|
||||||
if pull
|
if pull
|
||||||
let cmd = ['git', 'fetch']
|
let cmd = s:git_version_requirement(2) ? ['git', '-c', 'credential.helper=', 'fetch'] : ['git', 'fetch']
|
||||||
if has_tag && !empty(globpath(spec.dir, '.git/shallow'))
|
if has_tag && !empty(globpath(spec.dir, '.git/shallow'))
|
||||||
call extend(cmd, ['--depth', '99999999'])
|
call extend(cmd, ['--depth', '99999999'])
|
||||||
endif
|
endif
|
||||||
|
@ -2208,37 +2303,20 @@ function! s:system_chomp(...)
|
||||||
return v:shell_error ? '' : substitute(ret, '\n$', '', '')
|
return v:shell_error ? '' : substitute(ret, '\n$', '', '')
|
||||||
endfunction
|
endfunction
|
||||||
|
|
||||||
function! s:git_origin_branch(spec)
|
|
||||||
if len(a:spec.branch)
|
|
||||||
return a:spec.branch
|
|
||||||
endif
|
|
||||||
|
|
||||||
" The file may not be present if this is a local repository
|
|
||||||
let origin_head = a:spec.dir.'/.git/refs/remotes/origin/HEAD'
|
|
||||||
if filereadable(origin_head)
|
|
||||||
return split(readfile(origin_head)[0], 'refs/remotes/origin/')[-1]
|
|
||||||
endif
|
|
||||||
|
|
||||||
" The command may not return the name of a branch in detached HEAD state
|
|
||||||
let result = s:lines(s:system('git symbolic-ref --short HEAD', a:spec.dir))
|
|
||||||
return v:shell_error ? '' : result[-1]
|
|
||||||
endfunction
|
|
||||||
|
|
||||||
function! s:git_validate(spec, check_branch)
|
function! s:git_validate(spec, check_branch)
|
||||||
let err = ''
|
let err = ''
|
||||||
if isdirectory(a:spec.dir)
|
if isdirectory(a:spec.dir)
|
||||||
let result = s:lines(s:system('git rev-parse --abbrev-ref HEAD 2>&1 && git config -f .git/config remote.origin.url', a:spec.dir))
|
let result = [s:git_local_branch(a:spec.dir), s:git_origin_url(a:spec.dir)]
|
||||||
let remote = result[-1]
|
let remote = result[-1]
|
||||||
if v:shell_error
|
if empty(remote)
|
||||||
let err = join([remote, 'PlugClean required.'], "\n")
|
let err = join([remote, 'PlugClean required.'], "\n")
|
||||||
elseif !s:compare_git_uri(remote, a:spec.uri)
|
elseif !s:compare_git_uri(remote, a:spec.uri)
|
||||||
let err = join(['Invalid URI: '.remote,
|
let err = join(['Invalid URI: '.remote,
|
||||||
\ 'Expected: '.a:spec.uri,
|
\ 'Expected: '.a:spec.uri,
|
||||||
\ 'PlugClean required.'], "\n")
|
\ 'PlugClean required.'], "\n")
|
||||||
elseif a:check_branch && has_key(a:spec, 'commit')
|
elseif a:check_branch && has_key(a:spec, 'commit')
|
||||||
let result = s:lines(s:system('git rev-parse HEAD 2>&1', a:spec.dir))
|
let sha = s:git_revision(a:spec.dir)
|
||||||
let sha = result[-1]
|
if empty(sha)
|
||||||
if v:shell_error
|
|
||||||
let err = join(add(result, 'PlugClean required.'), "\n")
|
let err = join(add(result, 'PlugClean required.'), "\n")
|
||||||
elseif !s:hash_match(sha, a:spec.commit)
|
elseif !s:hash_match(sha, a:spec.commit)
|
||||||
let err = join([printf('Invalid HEAD (expected: %s, actual: %s)',
|
let err = join([printf('Invalid HEAD (expected: %s, actual: %s)',
|
||||||
|
@ -2683,7 +2761,7 @@ function! s:snapshot(force, ...) abort
|
||||||
let names = sort(keys(filter(copy(g:plugs),
|
let names = sort(keys(filter(copy(g:plugs),
|
||||||
\'has_key(v:val, "uri") && !has_key(v:val, "commit") && isdirectory(v:val.dir)')))
|
\'has_key(v:val, "uri") && !has_key(v:val, "commit") && isdirectory(v:val.dir)')))
|
||||||
for name in reverse(names)
|
for name in reverse(names)
|
||||||
let sha = s:system_chomp(['git', 'rev-parse', '--short', 'HEAD'], g:plugs[name].dir)
|
let sha = s:git_revision(g:plugs[name].dir)
|
||||||
if !empty(sha)
|
if !empty(sha)
|
||||||
call append(anchor, printf("silent! let g:plugs['%s'].commit = '%s'", name, sha))
|
call append(anchor, printf("silent! let g:plugs['%s'].commit = '%s'", name, sha))
|
||||||
redraw
|
redraw
|
||||||
|
|
File diff suppressed because it is too large
Load Diff
|
@ -1,3 +1,4 @@
|
||||||
"Here you can define your own custom settings like
|
"Here you can define your own custom settings like
|
||||||
"let g:use_sound = 1
|
"let g:use_sound = 1
|
||||||
"let g:use_autocomplete = 2
|
"let g:use_autocomplete = 1
|
||||||
|
"let g:use_coc = 1
|
||||||
|
|
79
init.vim
79
init.vim
|
@ -97,6 +97,7 @@ let g:use_autocomplete=1
|
||||||
let g:use_bufkill = 1
|
let g:use_bufkill = 1
|
||||||
let g:use_buftabline = 1
|
let g:use_buftabline = 1
|
||||||
let g:use_clang_format = 0
|
let g:use_clang_format = 0
|
||||||
|
let g:use_coc = 0
|
||||||
let g:use_comfortable_motion = 0
|
let g:use_comfortable_motion = 0
|
||||||
let g:use_cpp = 1
|
let g:use_cpp = 1
|
||||||
let g:use_font = 0
|
let g:use_font = 0
|
||||||
|
@ -111,6 +112,7 @@ let g:use_nerdtree = 1
|
||||||
let g:use_pandoc = 0
|
let g:use_pandoc = 0
|
||||||
let g:use_polyglot = 0
|
let g:use_polyglot = 0
|
||||||
let g:use_python = 1
|
let g:use_python = 1
|
||||||
|
let g:use_rust = 1
|
||||||
let g:use_sound = 0
|
let g:use_sound = 0
|
||||||
let g:use_sxhkd = 1
|
let g:use_sxhkd = 1
|
||||||
let g:use_templator = 0
|
let g:use_templator = 0
|
||||||
|
@ -265,6 +267,22 @@ if g:use_javacomplete == 1
|
||||||
endif
|
endif
|
||||||
" ===
|
" ===
|
||||||
|
|
||||||
|
" ===
|
||||||
|
" CoC
|
||||||
|
" ===
|
||||||
|
if g:use_coc == 1
|
||||||
|
Plug 'neoclide/coc.nvim', {'branch': 'release'}
|
||||||
|
endif
|
||||||
|
" ===
|
||||||
|
|
||||||
|
" ===
|
||||||
|
" Rust
|
||||||
|
" ===
|
||||||
|
if g:use_rust == 1
|
||||||
|
Plug 'rust-lang/rust.vim'
|
||||||
|
endif
|
||||||
|
" ===
|
||||||
|
|
||||||
" ===
|
" ===
|
||||||
" Special functionality
|
" Special functionality
|
||||||
" ===
|
" ===
|
||||||
|
@ -565,6 +583,67 @@ if g:use_autocomplete == 3
|
||||||
endif
|
endif
|
||||||
" ===
|
" ===
|
||||||
|
|
||||||
|
" ===
|
||||||
|
" Setup CoC
|
||||||
|
" ===
|
||||||
|
if g:use_coc == 1
|
||||||
|
set updatetime=300
|
||||||
|
|
||||||
|
set shortmess+=c
|
||||||
|
|
||||||
|
set signcolumn=yes
|
||||||
|
|
||||||
|
inoremap <silent><expr> <C-Space> coc#refresh()
|
||||||
|
|
||||||
|
nmap <silent> [g <Plug>(coc-diagnostic-prev)
|
||||||
|
nmap <silent> ]g <Plug>(coc-diagnostic-next)
|
||||||
|
|
||||||
|
nmap <silent> gd <Plug>(coc-definition)
|
||||||
|
nmap <silent> gy <Plug>(coc-type-definition)
|
||||||
|
nmap <silent> gi <Plug>(coc-implementation)
|
||||||
|
nmap <silent> gr <Plug>(coc-references)
|
||||||
|
|
||||||
|
nnoremap <silent> K :call <SID>show_documentation()<CR>
|
||||||
|
|
||||||
|
function! s:show_documentation()
|
||||||
|
if (index(['vim','help'], &filetype) >= 0)
|
||||||
|
execute 'h '.expand('<cword>')
|
||||||
|
elseif (coc#rpc#ready())
|
||||||
|
call CocActionAsync('doHover')
|
||||||
|
else
|
||||||
|
execute '!' . &keywordprg . " " . expand('<cword>')
|
||||||
|
endif
|
||||||
|
endfunction
|
||||||
|
|
||||||
|
autocmd CursorHold * silent call CocActionAsync('highlight')
|
||||||
|
|
||||||
|
nmap <leader>rn <Plug>(coc-rename)
|
||||||
|
|
||||||
|
xmap <leader>f <Plug>(coc-format-selected)
|
||||||
|
nmap <leader>f <Plug>(coc-format-selected)
|
||||||
|
|
||||||
|
nmap <leader>ac <Plug>(coc-codeaction)
|
||||||
|
nmap <leader>qf <Plug>(coc-fix-current)
|
||||||
|
|
||||||
|
if has('nvim-0.4.0') || has('patch-8.2.0750')
|
||||||
|
nnoremap <silent><nowait><expr> <C-f> coc#float#has_scroll() ? coc#float#scroll(1) : "\<C-f>"
|
||||||
|
nnoremap <silent><nowait><expr> <C-b> coc#float#has_scroll() ? coc#float#scroll(0) : "\<C-b>"
|
||||||
|
inoremap <silent><nowait><expr> <C-f> coc#float#has_scroll() ? "\<c-r>=coc#float#scroll(1)\<cr>" : "\<Right>"
|
||||||
|
inoremap <silent><nowait><expr> <C-b> coc#float#has_scroll() ? "\<c-r>=coc#float#scroll(0)\<cr>" : "\<Left>"
|
||||||
|
vnoremap <silent><nowait><expr> <C-f> coc#float#has_scroll() ? coc#float#scroll(1) : "\<C-f>"
|
||||||
|
vnoremap <silent><nowait><expr> <C-b> coc#float#has_scroll() ? coc#float#scroll(0) : "\<C-b>"
|
||||||
|
endif
|
||||||
|
|
||||||
|
command! -nargs=0 Format :call CocAction('format')
|
||||||
|
command! -nargs=? Fold :call CocAction('fold', <f-args>)
|
||||||
|
command! -nargs=0 OR :call CocAction('runCommand', 'editor.action.organizeImport')
|
||||||
|
|
||||||
|
nnoremap <silent> <leader>y :<C-u>CocList -A --normal yank<CR>
|
||||||
|
|
||||||
|
let g:coc_global_extensions = ['coc-clangd', 'coc-cmake', 'coc-html', 'coc-html-css-support', 'coc-java', 'coc-json', 'coc-lists', 'coc-markdownlint', 'coc-omnisharp', 'coc-prettier', 'coc-pyright', 'coc-rust-analyzer', 'coc-sh', 'coc-snippets', 'coc-xml', 'coc-yank']
|
||||||
|
endif
|
||||||
|
" ===
|
||||||
|
|
||||||
" ===
|
" ===
|
||||||
" Setup fswitch
|
" Setup fswitch
|
||||||
" ===
|
" ===
|
||||||
|
|
|
@ -11,3 +11,35 @@ smartcard
|
||||||
Bluetooth
|
Bluetooth
|
||||||
PDF
|
PDF
|
||||||
framebuffer
|
framebuffer
|
||||||
|
texorpdfstring
|
||||||
|
clickable
|
||||||
|
hyperref
|
||||||
|
Loïc
|
||||||
|
Masure
|
||||||
|
Cécile
|
||||||
|
Prouff
|
||||||
|
MAIS
|
||||||
|
pmf
|
||||||
|
EPI
|
||||||
|
NLL
|
||||||
|
MLP
|
||||||
|
MLPs
|
||||||
|
DNN
|
||||||
|
Convolutional
|
||||||
|
Picek
|
||||||
|
Perceptrons
|
||||||
|
CNNs
|
||||||
|
DNNs
|
||||||
|
MSE
|
||||||
|
SCA
|
||||||
|
SGD
|
||||||
|
overfitting
|
||||||
|
GTAs
|
||||||
|
#stimatior
|
||||||
|
Estimatior/!
|
||||||
|
Perceptron
|
||||||
|
MHP
|
||||||
|
ABL
|
||||||
|
Dataflow
|
||||||
|
dataflow
|
||||||
|
overapproximation
|
||||||
|
|
Binary file not shown.
Loading…
Reference in New Issue