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

[Marc Herbert]

Chet Ramey a écrit :
> How often does the directory change out from under a
> shell process, after which it calls pwd?

Depends on what you mean by "change". Very often for testing purposes I
re-run some software installer that deletes and re-creates the "tested"
directory. So I need to run "cd ." each time. The irony of this command
compensates for the hassle of it.

But this is possibly not relevant to the current discussion, sorry
about that.