Re: $(pwd) != $(/bin/pwd)

[Jan Schampera]

Leonid Evdokimov schrieb:

> This problem may be fixed if bash does not optimise number of getcwd() calls,
> but I'm not sure if the bug is really a _bug_, but not a sort of strange
> feature.

Sorry, I didn't read carefully enough :)

J.