Christian wrote:
> 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 Hmm, not that great. It doesn't list what command is available in which version of a shell. It does mention that "which" is widely available, while "type" is not. Although in a Makefile using csh or tcsh is probably not working anyway. -- How To Keep A Healthy Level Of Insanity: 12. Sing along at the opera. /// 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/201911032020.xA3KKKOX020301%40masaka.moolenaar.net.
