Your message dated Tue, 17 Nov 2015 02:46:51 +0100 with message-id <[email protected]> and subject line Re: Bug#745653: dash does not squash // to / when doing `cd //` has caused the Debian Bug report #745653, regarding Dash does not squash // to / when doing `cd //` to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 745653: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=745653 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: dash Version 0.5.7-2 If I envoke cd in dash via: cd // it incorrectly reports my cwd at // instead of / Note that in ALL other cases, my working directory is / (in pwd and in the cwd env variables) I would expect that in all cases, cd [some number of /] would report a cwd of / The impact here is that it can make path validation iffy for someone writing scripts -- Sincerely, Nathan Bourgoin [email protected]
--- End Message ---
--- Begin Message ---This behaviour is permitted by POSIX and it is in line with what bash does: $ echo $BASH_VERSION 4.3.42(1)-release $ cd // $ pwd // Cheers, -- Gioele Barabucci <[email protected]>
--- End Message ---

