commit e4461a08938b4a5cef8124638c11e5a410d856fa parent e887311ca51a6fa0c81c51a06b377cab7b9445e1 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Wed, 3 Dec 2025 16:31:41 +0100 Merge branch 'master' of a3nm.net:git/myconfig Diffstat:
| apt/minimal | | | 2 | +- |
| gitignore | | | 1 | + |
| vim/vimrc | | | 1 | + |
3 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/apt/minimal b/apt/minimal @@ -142,7 +142,7 @@ os-prober # for grub nocache -software-properties-common # add-apt-repository +# software-properties-common # add-apt-repository fdisk zstd diff --git a/gitignore b/gitignore @@ -10,3 +10,4 @@ *.run.xml *.bcf-SAVE-ERROR *.bbl-SAVE-ERROR +*.synctex.gz diff --git a/vim/vimrc b/vim/vimrc @@ -228,3 +228,4 @@ augroup vimtex_event_focus endif augroup END +let g:vimtex_quickfix_open_on_warning = 0