Hi,
meine Frage steht ja eigentlich schon im Titel.
Speziell geht es darum, wie ich herausfinde, ob das Paket libvte (wird von gnome-terminal benutzt) gepatched wurde. Und wenn ja, mit welchen patches?
Es existiert ein patch in bugs.gnome.org , welches dem nicht gerade schnellen gnome-terminal beine machen soll. Unter meiner alten gentoo installation (dort ist das terminal sicher gepatched) fühlte sich das Terminal nicht ganz so träge an.
Bevor ich mich also die Arbeit mache selbst zu patchen und zu kompilieren, wollte ich wissen, ob das nicht unnötig ist.