PuTTY et les options par défaut
J'ai appris (merci Stan ) qu'on pouvait modifier les options que prennent par défaut toutes les nouvelles connexions dans PuTTY.
Pour ce faire, il suffit d'enregister cette "configuration par défaut" sous le nom "Default Settings" (obligé de retaper le nom).