Nur ein kleiner Tipp, kann sein, daß es schon jemand durch Zufall entdeckt hat. Das X11-typische ”kopieren & einfügen” funktioniert jetzt auch im Terminal. Mit einer 3-Tasten-Maus markieren Sie mit der rechten Taste einen Text, mit der mittleren Taste wird er dann eingefügt. Vorbei mit [Befehl]-C und [Befehl]-V für die Funktion ”kopieren & einfügen”.
[Anmerkung von robg: Nachdem ich meine Maus erst neulich konfiguriert habe, sehe ich keine Veranlassung, dies für das Terminal wieder rückgängig zu machen. Darum - nicht getestet. Wenn jemand den Tipp bestätigen kann, dann teile er es uns doch bitte mit.]