Bon sang, mais c'est bien sûr !
C'est bien vu tout ça, et ça explique beaucoup de choses.
Comme j'utilise KDE, j'ai regardé dans les paramètres de konsole, c'est pas plus possible à priori , que dans la console de changer la taille. Tant pis. En tout cas, merci pour ces explications, qui, à défaut de résoudre le problème, permettent d'en identifier la source !
[^] # Re: Non
Posté par Gyro Gearllose . En réponse au message Changer la taille des tabulations.. Évalué à 2.
C'est bien vu tout ça, et ça explique beaucoup de choses.
Comme j'utilise KDE, j'ai regardé dans les paramètres de konsole, c'est pas plus possible à priori , que dans la console de changer la taille. Tant pis. En tout cas, merci pour ces explications, qui, à défaut de résoudre le problème, permettent d'en identifier la source !