Existe uma maneira rápida de verificar no terminal se o comando terminal pwd
retorna a capitalização correta do caminho?
Observe que, se o fizer cd ~/desktop
, pwd
diria que seu caminho é /Users/foo/desktop
melhor que o correto /Users/foo/Desktop
.
EDIT: Motivação: os sistemas de compilação precisam de uma maneira de verificar isso desde o início, caso contrário, é realmente difícil depurar . Um usuário desavisado usa uma capitalização incorreta, inicia uma compilação, obtém erros que são muito intrigantes.
EDIT2: Aceitar silenciosamente a entrada incorreta em maiúsculas cd
é o comportamento padrão de bash
um sistema de arquivos HFS + e, portanto, para a grande maioria dos usuários do OSX. Então, pwd
é um bash
builtin, e simplesmente pega o conteúdo da pilha de caminhos do shell (erros de digitação incluídos).
pwd
retornar algo que não seja a capitalização correta do diretório atual? 2) Como você pode cd ~/desktop
ir a /Users/foo/Desktop
menos que tenha um link simbólico ou algo assim? Esta questão não faz sentido.
cd ~/Desktop
, em seguida,pwd
iria dizer-lhe/Users/user/Desktop/