On So, 03 Nov 2019, Bram Moolenaar wrote:
> Right, "make vimtags" doesn't work. I'm not sure how widespread "type" > is, I think "which" should be safer. type or command -v is the command one should use nowadays. For a really deep dive into what to use, I suggest this great article: https://unix.stackexchange.com/a/85250/303213 Best, Christian -- Tief und ernstlich denkende Menschen haben gegen das Publikum einen bösen Stand. -- Goethe, Maximen und Reflektionen, Nr. 61 -- -- 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/20191103194801.GO24930%40256bit.org.
