Hacker News new | ask | show | jobs
by dhimes 5595 days ago
funny- I don't see man pages (nor info pages) for pushd, popd, or dirs. What am I missing about the documentation?
1 comments

They're shell built-ins, so use "man bash" to read about them.
To only display information about a specific command, you can also use

    help <command>
Awesome. Thanks.