Cliquez sur le bouton de menu ☰ situé dans la barre d’en-tête.

Sélectionnez Préférences.

Sélectionnez l’onglet Serveurs de clés.

Cliquez sur le bouton Ajouter.

Dans la nouvelle boîte de dialogue, sélectionnez le Type de serveur de clés qui convient. Les serveurs de clés sont identifiés par le protocole qu’ils utilisent pour communiquer. Cherchez les premières lettres de l’URL internet de votre serveur de clés pour identifier son type.

Dans le champ Hôte, collez l’URL de votre serveur de clés. Consultez la documentation du serveur de clés que vous ajoutez pour voir s’il fonctionne sur un port non-standard. Si c’est le cas, saisissez le port après les « : ». Si vous avez un doute, laissez en blanc la boîte de texte après les « : ».

Cliquez sur Enregistrer pour terminer.