> 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.

In tcsh:

$ command -v vim
command: Command not found.

Perfect error message :-).


-- 
In many of the more relaxed civilizations on the Outer Eastern Rim of the
Galaxy, "The Hitchhiker's Guide to the Galaxy" has already supplanted the
great "Encyclopedia Galactica" as the standard repository of all knowledge
and wisdom, for though it has many omissions and contains much that is
apocryphal, or at least wildly inaccurate, it scores over the older, more
pedestrian work in two important respects.
First, it is slightly cheaper; and second, it has the words "DON'T PANIC"
inscribed in large friendly letters on its cover.
                -- Douglas Adams, "The Hitchhiker's Guide to the Galaxy"

 /// 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/201911041028.xA4ASnwr023902%40masaka.moolenaar.net.

Raspunde prin e-mail lui