pwd != /bin/pwd ?

[cristobal_junta]

Это баг или фича? Это где-нибудь задокументировано? Это нормально, что bash-builtin-команда 'pwd' эквивалентна вызову 'echo $PWD'?

pozdneev@ani-704-x201i:~> mkdir test

Comments

[mr_mumble]

$ man pwd
...
NOTE: your shell may have its own version of pwd, which usually supersedes the version described here.
...

[cristobal_junta]

Не, ну это понятно.
Но про такое поведение в `info bash` ни слова не сказано.
Там лишь написано, что bash имеет builtin-функцию pwd, которая выводит на печать текущую рабочую директорию.

[mr_mumble]

кстати 'pwd' != 'echo $PWD'
andreev@earth /tmp/test $ export PWD=/not/tmp/test
andreev@earth /not/tmp/test $ pwd; echo $PWD
/tmp/test
/not/tmp/test

[cristobal_junta]

Хм. О таком варианте я не подумал.