J'aurais pu jurer qu'il y avait une fois un réglage pour cela dans le "Profil" de gnome-terminal.
Et puis, dans certaines versions d'Ubuntu, ce paramètre a disparu, et j'ai dû utiliser Système ences Préférences board Clavier pour désélectionner "Le curseur clignote dans les champs de texte".
Eh bien, aucun de ceux-ci ne semble fonctionner maintenant. Alors, comment faire pour que le curseur cesse de clignoter?