From: SourceForge.net <no...@so...> - 2012-07-02 09:38:06
|
Bugs item #3539231, was opened at 2012-06-30 21:13 Message generated for change (Settings changed) made by dkf You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=110894&aid=3539231&group_id=10894 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. >Category: 36. Pathname Management Group: current: 8.5.11 Status: Open Resolution: None >Priority: 3 Private: No Submitted By: Stephen Huntley (blacksqr) >Assigned to: Vince Darley (vincentdarley) Summary: glob tilde expansion injects extra slash. Initial Comment: When a user account is created whose name has a dash in it, attempting to glob the account's home directory results in an extra slash appearing in the result path string: $ useradd -b /home/ -p dash -m dash-user $ tclsh % info patchlevel 8.5.11 % glob ~dash-user /home//dash-user Ubuntu 12.04 64-bit. Tclsh installed from default repository using apt-get. ---------------------------------------------------------------------- >Comment By: Donal K. Fellows (dkf) Date: 2012-07-02 02:38 Message: The system has an obviously non-normalized name for the user's home directory? That's... well, not really Tcl's fault IMO (there are cases where normalizing would be bad IIRC, such as automounters). My inclination would be Wont Fix, but I don't claim to be an expert on what [glob] should do here. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=110894&aid=3539231&group_id=10894 |