apt-key deprecated

[Dominique-M]

Following the instructions "sudo apt-key add tei-c.pub.key.asc" brings with every "apt update" the message "Key is stored in legacy trusted.gpg keyring (/etc/apt/trusted.gpg), see the DEPRECATION section in apt-key(8) for details".

A recent apt-key(8) says "Use of apt-key is deprecated… … will last be available in Debian 11 and Ubuntu 22.04."

I could import the key in the new style by doing "cat tei-c.pub.key.asc | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/tei-c.pub.key.gpg >/dev/null". This converts the key to GPG and simply stores the key as a file in the right folder instead of writing in the deprecated keyring. The command "sudo apt-key del 7B9824DC" removes the deprecated version, but the new one as well. (As shown by "sudo apt-key list".) One should do "apt-key del" before the new style importation of the key.

Somebody should test the above to see that I am not mistaken and then improve the instructions about the key in the TEI Debian packages page.
Maybe the TEI could offer directly a GPG form of the key.