在 2013年5月7日星期二UTC+8上午10时24分22秒，MarcWeber写道： > > thanks for your kind reply. I checked my path and found both are > > > "real", not path. And I found /usr/bin/gvim is version 7.0 while > > > /grid/common/bin/gvim is version 7.1. I guess maybe gvim 7.1 also load > > > my .vimrc, but because they are different versions, so there is some > > > difference when they show text on display, for example, they show > > > different font. Does I understand this right? thanks. > > > > vim 7.3 is current. Whether 7.1 behaves other than 7.0 in your use case > > - I don't know. Just try it - there is not that much which can go wrong: > > > > VIMRUNTIME=/grid/common/share/vim/vim71 bin/gvim > > > > Verify that the vim71 path exists, otherwise try to locate it. > > vs /usr/bin/gvim (I guess this picks up the right VIMRUNTIME on its own) > > > > Howover this all is probably not related to the .vimrc issue. > > > > You can define such an alias in your .bashrc or .bash_profile file: > > > > alias gvim="path-to-gvim -u ~/.vimrc" > > > > If gvim still doesn't load your .vimrc then I don't know how to help. > > > > How to compare fonts in gvim? > > > > :echo &guifont > > > > Copy paste this into your .gvimrc to hardcode it. Select other font by dialog > this way: :set guifont=* > > > > Marc Weber
Hi Marc, let me ask a new question: I found my gvim 7.0 use font "San/Regular/size 12" but I can't find this font in gvim 7.1. How can I copy this font "library" from gvim7.0 and install it to gvim7.1? thanks. -- -- You received this message from the "vim_use" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_use" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
