Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

[BUG] 'cd -P' leaves double slash in $PWD

X-seq: zsh-workers 45367
From: Martijn Dekker <martijn@xxxxxxxx>
To: Zsh hackers list <zsh-workers@xxxxxxx>
Subject: [BUG] 'cd -P' leaves double slash in $PWD
Date: Sat, 1 Feb 2020 03:15:31 +0100
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
List-unsubscribe: <mailto:zsh-workers-unsubscribe@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm

$ zsh -c 'cd -P ////dev//; echo $PWD'
//dev

Expected output: /dev

A double initial slash in a canonicalised/normalised path is okay if theoriginal started with a double slash (as this could signify a Cygwin UNCnetwork path), but not if it started with one or more than two slashes.

Bug confirmed on zsh from current back to 5.0.8 (I didn't test earlierversions).


--
modernish -- harness the shell
https://github.com/modernish/modernish

Follow-Ups:
- Re: [BUG] 'cd -P' leaves double slash in $PWD
  - From: Daniel Shahaf

Messages sorted by: Reverse Date, Date, Thread, Author