Hi Helge, On 3/12/23 06:14, Helge Kreutzmann wrote: > Hello Alex, > On Sun, Mar 12, 2023 at 12:27:36AM +0100, Alejandro Colomar wrote: >> On 3/11/23 18:13, Helge Kreutzmann wrote: >>> Without further ado, the following was found: >>> >>> Issue: ISO → ISO/IEC >> >> I've already seen several reports about ISO -> ISO/IEC in several pages >> from several people. I'd like someone who knows about these standards >> to take a look at all the man pages and suggest a global fix about this. > > Well, *most likely* the global fix is to always replace "ISO" by > "ISO/IEC" in the man pages. > > Rationale: > Almost all relevant standards in the IT domain are prepared by the > joint technical committee 1 from ISO and ITC (ISO/IEC JTC1). Hence > they always carry an "ISO/IEC". > > But there *may* be exceptions. Thus I always check each individual > case (and hence made several reports). You can simply do this by going > to http://www.iso.org and entering the number in the search box. Okay. > > If this is too tiresome, then a global fix of ISO → ISO/IEC is most > likely the correct fix. > > All I can do is to review each occurence I note and point you to this. I've listed all ISO numbers that I could find (maybe there remain a few uncovered, but this should show at least most of them): $ grep -rho 'ISO[^a-zA-Z()<";:\.,&/[]*' \ | sed 's/_/ /g' \ | sed 's/\\\\//g' \ | sed 's/-/ /g' \ | sed 's/[ \t]*$//' \ | sort \ | uniq \ | sed 's/ /-/' \ | sed 's/ .*//' \ | sort \ | uniq \ | sed 's/-/ /' \ | grep ' '; ISO 10646 ISO 14652 ISO 2022 ISO 2375 ISO 3166 ISO 4217 ISO 4873 ISO 639 ISO 6429 ISO 646 ISO 6709 ISO 8208 ISO 8601 ISO 8602 ISO 8859 ISO 9660 ISO 9945 And then searching those numbers in the ISO website, I created the following list: iso/iec: 10646 14652 iso: 2022 2375 3166 4217 4873 639 6429 8208 8601 8602 8859- 9660 iso/iec/ieee: 9945 I'll apply a global fix with this info. > > Greetings > > Helge Greetings, Alex > > P.S. If I should explain this even more verbosely, I can, please let > me know. I work in these committes for ~ 15 years. > -- <http://www.alejandro-colomar.es/> GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature
