J’ai retrouvé dans l’historique de mon shell pacman -Rs kitty, la commande de suppression du paquet de kitty (sous Arch). Je me suis demandé pourquoi, alors je l’ai réinstallé.
Alors :
– il n’a pas de menu (même xterm en a) ;
– le man est nul, il n’aborde ni les raccourcis claviers, ni la configuration ;
– la doc en HTML contenue dans le paquet appelle Google Analytics !
– le fichier index.html n’est pas fichu de pointer sur les autres ;
– l’index de la doc à gauche est tronqué avec mon écran et pas moyen de le faire défiler, il faut dézoomer ;
– les raccourcis clavier sont pourris (Ctrl+Maj+un caractère, ça part forcément mal : Maj+un caractère, ça en produit un autre ; essayez de faire Ctrl+Maj+[).
On pourrait considérer que ce ne sont que de petits détails énervants, mais le truc qui tue :
– une fois que j’arrive malgré tout à réduire la taille de la fonte (il faut reconnaître que le fichier de configuration est assez lisible au moins), le bas des lettres est tronqué, on ne peut pas distinguer g et q !
Si c’est juste pour avoir un terminal splitté en local, il y a Terminator, avec un menu. En distant, tmux fait le job, avec des raccourcis clavier qui fonctionnent.
De toute façon, tous les autres émulateurs de terminaux que je connais affichent les lettres sans les tronquer, donc sont préférables à kitty. Enfin, en utilisant une police ayant plus d’espacement vertical (il a je pense pris Monospace, qui est sur mon système un alias sur DejaVu Sans Mono), on pourrait peut-être contourner ce bug.
« Le fascisme c’est la gangrène, à Washington comme en Russie. » — adapté de Renaud, Hexagone
# Bref, j’ai redésinstallé kitty
Posté par Arthur Accroc . En réponse au journal Je ferais tout de même mieux de dormir la nuit.. Évalué à 10.
J’ai retrouvé dans l’historique de mon shell
pacman -Rs kitty, la commande de suppression du paquet de kitty (sous Arch). Je me suis demandé pourquoi, alors je l’ai réinstallé.Alors :
– il n’a pas de menu (même xterm en a) ;
– le man est nul, il n’aborde ni les raccourcis claviers, ni la configuration ;
– la doc en HTML contenue dans le paquet appelle Google Analytics !
– le fichier
index.htmln’est pas fichu de pointer sur les autres ;– l’index de la doc à gauche est tronqué avec mon écran et pas moyen de le faire défiler, il faut dézoomer ;
– les raccourcis clavier sont pourris (Ctrl+Maj+un caractère, ça part forcément mal : Maj+un caractère, ça en produit un autre ; essayez de faire Ctrl+Maj+[).
On pourrait considérer que ce ne sont que de petits détails énervants, mais le truc qui tue :
– une fois que j’arrive malgré tout à réduire la taille de la fonte (il faut reconnaître que le fichier de configuration est assez lisible au moins), le bas des lettres est tronqué, on ne peut pas distinguer g et q !
Si c’est juste pour avoir un terminal splitté en local, il y a Terminator, avec un menu. En distant, tmux fait le job, avec des raccourcis clavier qui fonctionnent.
De toute façon, tous les autres émulateurs de terminaux que je connais affichent les lettres sans les tronquer, donc sont préférables à kitty. Enfin, en utilisant une police ayant plus d’espacement vertical (il a je pense pris Monospace, qui est sur mon système un alias sur DejaVu Sans Mono), on pourrait peut-être contourner ce bug.
« Le fascisme c’est la gangrène, à Washington comme en Russie. » — adapté de Renaud, Hexagone