On 2023-12-10 15:51:02 -0500, Pocket wrote: > On Dec 10, 2023, at 3:05 PM, David Wright <deb...@lionunicorn.co.uk> wrote: > > ¹ Re the argument raging in this thread about "extension", the > > term is clearly appropriate, as a glance at /etc/mime.types > > demonstrates. The literature is full of the term. > > > > I wouldn't want to use "suffix" myself, as it's too general: > > anything stuck on the end is a suffix, but not necessarily > > a filename extension. Suffixes are used for other purposes. > > Suffix is the correct term.
A filename extension is a suffix, but a suffix (e.g. as in POSIX) is not necessarily a filename extension. For instance: $ basename foobar bar foo Here, "bar" is a suffix, but it does not have the form of a filename extension. So the notion of "filename extension" is more specific. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)