Subject: Re: bug#8159: file-name-sans-version fails for some git files

From: Andreas Schwab <[email-masked]>
Date: Thu, 03 Mar 2011 15:33:30 +0100

Eli Zaretskii <[email-masked]> writes:

>> Date: Thu, 3 Mar 2011 12:02:53 +0000
>> From: Reuben Thomas <[email-masked]>
>> Cc: [email-masked]
>> 
>> On 3 March 2011 03:58, Eli Zaretskii <[email-masked]> wrote:
>> >> Date: Wed, 2 Mar 2011 22:31:12 +0000
>> >> From: Reuben Thomas <[email-masked]>
>> >> Cc:
>> >>
>> >> filenames like foo.js.~HEAD~1~ aren't handled properly because of the
>> >> internal tilde.
>> >
>> > What would be the "proper" handling of such a file name?  What is the
>> > "version" here?
>> 
>> The version is HEAD~1, so the only difference from supported version
>> formats is the internal tilde.
>
> If you don't want the version to be "~1~", then I guess this is okay.

It cannot be the version because it lacks the period.

Andreas.

-- 
Andreas Schwab, [email-masked]
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."