Eu tenho usado pushd
e popd
por um longo tempo enquanto escrevia o script bash. Mas hoje quando executo which pushd
, não recebo nada como saída. Eu não consigo entender isso. Eu estava sempre pensando que pushd
é simplesmente um comando, assim como cd
, ls
etc.
Então por que não which pushd
me dá nada?
trecho da página de manual do bashpopd
epushd
são comandos embutidos no Bash, eles não são executáveis reais que vivem em seu disco rígido como binários verdadeiros.A lista completa de todos os comandos internos está disponível na página man do Bash, bem como aqui - http://structure.usc.edu/bash/bashref_4.html .
Você também pode usar
compgen permitircompgen -b
ouenable
para obter uma lista completa de todos esses recursos internos:Além disso, se você deseja obter ajuda sobre os internos, pode usar o
help
comando: