Talvez você goste de ter uma função de wrapper que pule diretamente para o arquivo interno:
man -P "less +/\ \ \ pushd" bash
-P
diz ao homem para usar menos como pager (provavelmente o padrão na maioria dos sistemas), mas passa diretamente uma pesquisa para ele. Você precisa adicionar alguns espaços em branco antes da string de pesquisa para pular as ocorrências no texto e ir para a descrição do comando.
Por conveniência, crie uma função e coloque-a no seu ~/.bashrc
:
function manbash {
man -P "less +/\ \ \ $1" bash
}
e use-o como manbash pushd
.
Outra possibilidade é usar o bash builtin help
:
$ help pushd
pushd: pushd [-n] [+N | -N | dir]
Add directories to stack.
Adds a directory to the top of the directory stack, or rotates
the stack, making the new top of the stack the current working
directory. With no arguments, exchanges the top two directories.
Options:
[...]