A NOTE has been added to this issue. ====================================================================== https://austingroupbugs.net/view.php?id=1632 ====================================================================== Reported By: kre Assigned To: ====================================================================== Project: Issue 8 drafts Issue ID: 1632 Category: Shell and Utilities Type: Clarification Requested Severity: Objection Priority: normal Status: New Name: Robert Elz Organization: User Reference: Section: XCU 2.6.1 Page Number: 2319-2320 Line Number: 74775-74794 Final Accepted Text: ====================================================================== Date Submitted: 2023-01-31 00:58 UTC Last Modified: 2023-02-06 01:46 UTC ====================================================================== Summary: Tilde expansions with HOME="" or HOME value ending in / ======================================================================
---------------------------------------------------------------------- (0006144) mirabilos (reporter) - 2023-02-06 01:46 https://austingroupbugs.net/view.php?id=1632#c6144 ---------------------------------------------------------------------- I’d prefer HOME= to be treated the same as HOME=/ wrt. expansion, and to make sure that these are logical concatenations of pathnames, e.g. '/home' + 'foo' = '/home/foo' but '/' + 'foo' = '/foo'. This avoids both “naïve” string concatenation and the problem of having to decide what to do with an empty string; I consider an empty string to not be a valid pathname and therefore not a valid expansion for a sole tilde. I’m happy to change mksh to match; from a Debian perspective, we’re entering soft freeze in a few days so a speedy decision would be welcome. Issue History Date Modified Username Field Change ====================================================================== 2023-01-31 00:58 kre New Issue 2023-01-31 00:58 kre Name => Robert Elz 2023-01-31 00:58 kre Section => XCU 2.6.1 2023-01-31 00:58 kre Page Number => 2319-2320 2023-01-31 00:58 kre Line Number => 74775-74794 2023-02-06 01:46 mirabilos Note Added: 0006144 ======================================================================