On Wednesday, July 10, 2013 4:19:40 PM UTC+8, Tony Mechelynck wrote: > Your user scripts should not have been in vim73 to begin with. That > > directory tree (and now vim74a) is ONLY for scripts distributed together > > with Vim, and which you must NEVER change, because any update may, and a > > version upgrade will, silently make all your changes disappear.
Thanks for your advice. I don't install vim with the official installer, I built it myself. All vim's default runtime files remain unchanged, and all placed in my vim73 directory. > Single-user customizations should be (on Unix) in ~/.vim/ (and > > ~/.vim/after/) and (on Windows) in ~/vimfiles/ (and ~/vimfiles/after/), > > where ~ (in Vim and, on Unix, even outside Vim) is shorthand for $HOME > > > > Site-wide changes should be (on all platforms) in $VIM/vimfiles/ (and > > $VIM/vimfiles/after/). $VIM doesn't change between Vim versions, it is > > usually the parent of $VIMRUNTIME (i.e., of vim72, then vim73, then > > vim74a, etc.). In your case $VIM = D:/Apps/Vim (and, on Windows, Vim > > ought to be able to find it by removing the vim74a element from the path > > from which it was loaded, so no need to set $VIM yourself — or > > $VIMRUNTIME for that matter). (On Unix, Vim is usually compiled with a > > "fallback for $VIM" path, and that's what's usually used, so no need to > > set $VIM and $VIMRUNTIME either.) > > > > You should not have to rename vim73 to vim74a. Just leave vim73 in place > > (or remove it with all its contents when you're satisfied that you won't > > go back to Vim 7.3), the scripts for Vim 7.4a will go in a NEW > > $VIMRUNTIME subfolder, namely $VIM/vim74a/. I'm not going to go back to vim73, so I renamed it to vim74a and it works. Thank you, and Lane East. -- -- You received this message from the "vim_dev" 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_dev" 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.
