Re: Encoding non-alphanumeric characters in manpage filenames

[tlaronde%polynum.com@localhost]

Hello,

Le Thu, Nov 11, 2021 at 09:36:11AM +0200, Lassi Kortela a écrit :
> 
> [H2]: Look for the _last_ extension that starts with a digit. Then "foo.3.6"
> is correctly identified as belonging to section 6. Hope that no compressors
> or other tools use filename extensions starting with a digit.

.7z

for one.
-- 
        Thierry Laronde <tlaronde +AT+ polynum +dot+ com>
                     http://www.kergis.com/
                    http://kertex.kergis.com/
                       http://www.sbfa.fr/
Key fingerprint = 0FF7 E906 FBAF FE95 FD89  250D 52B1 AE95 6006 F40C