Karl E. Jorgensen writes: > Well, it *appears* that zsh is more helpful. But only because the > "which" command itself is a built-in for zsh :-) (it isn't for bash) > > So you have the opposite problem: "man which" gives you the wrong > manual page :-) (but presumably very similar)
Indeed you're correct: "man which" opens the man page for which(1), which (!) i can then call thusly: $ which which which: shell built-in command Great fun! Thanks for the heads-up. :-) Alexis. -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/871tpkvc7u....@gmail.com
