kitty - Terminal probleme. Die erste.
Vor Kurzem bin ich auf das Kitty-Terminal gewechselt. Einfach mal schauen, wie das so ist. Man hört ja nur Gutes. Soll zügig sein und so weiter. Ach, was soll ich sagen: Ich habe mich quasi bequatschen lassen. ...