Le 29 mai 2012 à 17:30, Paul Eggert a écrit :

> On 05/29/2012 01:32 AM, Akim Demaille wrote:
>> Should I submit a patch to gnulib to implement this
>> in concatenated_filename?
>
> Sorry, I've lost context.

My bad.  I was referring to gnulib's concatenated_filename
that does not try to remove extraneous slashes when the
dir part ends with several.

> Do you mean that concatenated_filename should return "a/b" when
> asked to concatenate "a////" and "b"?  If so, I'm not sure it's
> worth the trouble, as "a////b" works fine and is arguably
> closer to what the user intended.

Thanks!