Memo Debian

Si l'ISO et le fichier SHA512SUMS sont téléchargés dans le même dossier, lancer la commande suivante pour vérifier que le fichier n'est pas corrompu :

$ sha512sum --ignore-missing -c SHA512SUMS
debian-13.5.0-amd64-netinst.iso: Réussi
$ gpg --verify SHA512SUMS.sign SHA512SUMS
gpg: Signature faite le sam. 16 mai 2026 21:43:44 CEST
gpg:                avec la clef RSA DF9B9C49EAA9298432589D76DA87E80D6294BE9B
gpg: Impossible de vérifier la signature : Pas de clef publique
$ gpg --keyserver keyring.debian.org --recv-keys DF9B9C49EAA9298432589D76DA87E80D6294BE9B
gpg: clef DA87E80D6294BE9B : clef publique « Debian CD signing key <debian-cd@lists.debian.org> » importée
gpg:       Quantité totale traitée : 1
gpg:                     importées : 1
$ gpg --verify SHA512SUMS.sign SHA512SUMS
gpg: Signature faite le sam. 16 mai 2026 21:43:44 CEST
gpg:                avec la clef RSA DF9B9C49EAA9298432589D76DA87E80D6294BE9B
gpg: Bonne signature de « Debian CD signing key <debian-cd@lists.debian.org> » [inconnu]
gpg: Attention : cette clef n'est pas certifiée avec une signature de confiance.
gpg:             Rien n'indique que la signature appartient à son propriétaire.
Empreinte de clef principale : DF9B 9C49 EAA9 2984 3258  9D76 DA87 E80D 6294 BE9B