On Sun, Nov 03, 2019 at 09:20:20PM +0100, Bram Moolenaar wrote: > > 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.
FWIW, "command -v ..." is specified in POSIX. "type" is as well, but as an XSI extension. Cheers, -- James GPG Key: 4096R/91BF BF4D 6956 BD5D F7B7 2D23 DFE6 91AE 331B A3DB -- -- 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/20191104013755.4ssstboy5arpirsp%40localhost.
