check_unicodedata_name_of_controls.sh

#!/bin/sh

# Check whether we can obtain names for the control characters 
# with the unicodedata.name method in python

curl --silent 'https://www.unicode.org/Public/13.0.0/ucd/NameAliases.txt' |\
sed '/^\ *$/d; /^#.*/d' |\
python -c '

import unicodedata
from collections import Counter

passed = Counter()
failed = Counter()

while True:
  try:
    code, name, category = input().split(";")
    try:
      unicodedata.name(chr(int(code, 16)))
      #unicodedata.lookup(name)
    except ValueError:
      failed[category] += 1
    else:
      passed[category] += 1
  except EOFError:
    break

print(f"{failed=}")
print(f"{passed=}")  
'