tech-userlevel archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: Encoding non-alphanumeric characters in manpage filenames


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.


for one.
        Thierry Laronde <tlaronde +AT+ polynum +dot+ com>
Key fingerprint = 0FF7 E906 FBAF FE95 FD89  250D 52B1 AE95 6006 F40C

Home | Main Index | Thread Index | Old Index