Is there a quick way to check in terminal that the terminal command
pwd returns the correct capitalization of the path?
Note that if you do
cd ~/desktop then
pwd would tell you that your path is
/Users/foo/desktop rather than the correct
EDIT: Motivation: build systems need a way to check this early on, otherwise it's really hard to debug. An unsuspecting user uses a wrong capitalisation, starts a build, gets errors that are very puzzling.
EDIT2: Silently accepting incorrectly capitalised input for
cd is the standard behaviour of
bash on an HFS+ file system, and thus for the vast majority of OSX users. Then,
pwd is a
bash builtin, and it simply takes the content of the path stack of the shell (typos included).