[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Jan Schampera
Subject: Re: $(pwd) != $(/bin/pwd)
Date: Sun, 03 Jan 2010 20:06:54 +0100
User-agent: Mozilla-Thunderbird (X11/20090707)

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 :)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]