Sometimes software gains wisdom beyond the intentions of its designers. As far as I can tell in my copy of BBEdit, both forms "[Name extension] [is] [adoc]" and "[Name extension] [is] [.adoc]" yield the same result. Nevertheless, the recommended version is always preferable, so I will correct the dozens of filters I have been using for years that used the dot extension form. đ¤ Jean Jourdain
On Thursday, October 3, 2024 at 12:59:01âŻPM UTC+2 Brian Forte wrote: > Rich, > > > The âname extensionâ does not include the period, so omit that. > > [Assume standard rage against file-name extensions has been expressed > here.] > > The full-stop is, strictly speaking, the delimiter character between > the file name string and the file name extension string. > > In day-to-day use, however, and at least in the software-centric > technical circles I work in, the noun phrase âfilename extensionâ > means the characters after the full-stop **and** the full stop. > > That is, people talk about `.zip` files and `.md` files and `.json` > files, and `.ts` and `.c` files. And they pronounce the full-stop (as > âdotâ) when speaking. And they write the full-stop as per the > examples above. > > Which is a linguistic argument, at least, for âName extensionâ to > treat > > .string > > and > > string > > as equivalent. > > > You also have turned [o]n âSearch compressed filesâ (behind the Options > > button), which enables searching in Zip archives. > > Here was the magic (and entirely obvious in retrospect) checkbox Iâd > overlooked. > > Many thanks for this. > > Regards, > > â bforte. > -- > Brian Forte > <[email protected]> > -- This is the BBEdit Talk public discussion group. If you have a feature request or believe that the application isn't working correctly, please email "[email protected]" rather than posting here. Follow @bbedit on Mastodon: <https://mastodon.social/@bbedit> --- You received this message because you are subscribed to the Google Groups "BBEdit Talk" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/bbedit/274f1ffb-4045-475a-9d1e-a0c813602527n%40googlegroups.com.
