Ich bin ein großer Fan von Terminator . Standardmäßig ist das Einstellungsmenü durch Klicken mit der rechten Maustaste auf das Terminal zugänglich. Ich habe Terminator so konfiguriert, dass beim Kopieren mit der rechten Maustaste eine Kopie eingefügt wird (ähnlich wie bei Putty).
Leider ist das Einstellungsmenü dadurch nicht mehr zugänglich. Was ist die Lösung?
Shift
+ drückenF10
.