Tony wrote:
> On Sat, Nov 2, 2019 at 10:46 PM Bram Moolenaar <[email protected]> wrote: > > > > > > Patch 8.1.2242 > > Problem: Creating docs tags uses user preferences. (Tony Mechelynck) > > Solution: Add "--clean". > > Files: runtime/doc/Makefile > > After applying this patch, as well as 2243 and 2244, one of which > recompiles everything starting at arabic.c, the problem has not > reappeared. (In Bugzilla terminology, I consider it VERIFIED FIXED.) > However, I notice that --clean removes ~/.vim(/after) but not > $VIM/vimfiles(/after) from 'runtimepath' and 'packpath', IOW it > removes "user" preferences but not "system" preferences, no matter how > misguided the sysadmin may have been. Is this intended? Yes, --clean avoids any user preferences (viminfo, plugins). But it still uses Vim's preferences. Thus syntax highlighting still works. If a sysadmin messes things up, that is his choice. -- How To Keep A Healthy Level Of Insanity: 2. Page yourself over the intercom. Don't disguise your voice. /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/201911031447.xA3ElEEV011805%40masaka.moolenaar.net.
