
<!DOCTYPE html>

<html>

<head>

<title></title>

</head>

<body><div>On Wed, Jan 25, 2017, at 03:54 PM, Todd wrote:<br></div>

<blockquote type="cite"><div dir="ltr"><div><div defang_data-gmailquote="yes"><div>Those [.tar.foo] are just examples that I encounter a lot, there can be other cases where multiple extensions are used.<br></div>

</div>

</div>

</div>

</blockquote><div><br></div>

<div>The real issue is that there's no definition of what an extension is. You can have dots anywhere in a filename, and it's not at all unusual for them to be used before the bit we recognise as the extension. Almost every package on PyPI has files named like 'pip-9.0.1.tar.gz', but '.0.1.tar.gz' clearly doesn't make any sense as an extension. Without a good definition of what the 'full extension' is, we can't have code to find it.<br></div>

<div><br></div>

<div>Thomas<br></div>

</body>

</html>