[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57102: 29.0.50; Peculiar file-name-split edge case
From: |
Philip Kaludercic |
Subject: |
bug#57102: 29.0.50; Peculiar file-name-split edge case |
Date: |
Fri, 12 Aug 2022 16:29:15 +0000 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> Philip Kaludercic <philipk@posteo.net> writes:
>
>> How sensible is this in the first place? Shouldn't it rather be
>> something like
>>
>> (file-equal-p (apply #'file-name-concat (file-name-split filename)) filename)
>>
>> [ which is currently likewise not given ]
>>
>> Or to put it differently, who does the preceding empty string benefit if
>> we ignore the condition mentioned in the docstring? Are there any
>> real-world use-cases?
>
> You need to be able to tell (file-name-split "a/b") => ("a" "b") and
> (file-name-split "/a/b") => ("" "a" "b") apart.
Could one instead prefix the list with a symbol (either `absolute' or
`relative') to distinguish the two cases. Or do you think that would
just make it more complicated.
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Philip Kaludercic, 2022/08/10
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Lars Ingebrigtsen, 2022/08/12
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Philip Kaludercic, 2022/08/12
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Lars Ingebrigtsen, 2022/08/12
- bug#57102: 29.0.50; Peculiar file-name-split edge case,
Philip Kaludercic <=
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Lars Ingebrigtsen, 2022/08/13
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Philip Kaludercic, 2022/08/13
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Lars Ingebrigtsen, 2022/08/15
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Lars Ingebrigtsen, 2022/08/15
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Philip Kaludercic, 2022/08/15
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Eli Zaretskii, 2022/08/15
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Lars Ingebrigtsen, 2022/08/17
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Augusto Stoffel, 2022/08/13
- bug#57102: 29.0.50; Peculiar file-name-split edge case, Philip Kaludercic, 2022/08/14
bug#57102: 29.0.50; Peculiar file-name-split edge case, Mattias EngdegÄrd, 2022/08/13