From 1333020b904a8714d01f4ae4789c5070e8ff90f2 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 10:50:33 +0200 Subject: Adding debian version 2:9.0.1378-2. Signed-off-by: Daniel Baumann --- debian/runtime/gvimrc | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 debian/runtime/gvimrc (limited to 'debian/runtime/gvimrc') diff --git a/debian/runtime/gvimrc b/debian/runtime/gvimrc new file mode 100644 index 0000000..3aaea15 --- /dev/null +++ b/debian/runtime/gvimrc @@ -0,0 +1,17 @@ +" Make external commands work through a pipe instead of a pseudo-tty +"set noguipty + +" You can also specify a different font, overriding the default font +"if has('gui_gtk') +" set guifont=Bitstream\ Vera\ Sans\ Mono\ 12 +"else +" set guifont=-misc-fixed-medium-r-normal--14-130-75-75-c-70-iso8859-1 +"endif + +" If you want to run gvim with a dark background, try using a different +" colorscheme or running 'gvim -reverse'. + +" Source a global configuration file if available +if filereadable("/etc/vim/gvimrc.local") + source /etc/vim/gvimrc.local +endif -- cgit v1.2.3