diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/runtime/gvimrc | 17 |
1 files changed, 17 insertions, 0 deletions
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 |