Putty

Personalisation de l’utilitaire putty

Retrouvez ci-dessous une vidéo qui vous expliquera comment personnaliser (couleurs, polices...) votre terminal d’accès à vos applications métiers (AGORA, EPP, E3P, OCEAN...) :

Bonne visualisation !

Mise à jour : 29 juin 2022

Imprimer la page Modifier la taille des caractères Modifier la taille des caractères