leider nicht. Habe genau die gleichen einstellungen, doch es klappt nicht. Das legt die vermutung nahe, dass es ehr an den (profil-) einstellungen von "konsole" (mein Terminal Emulator) liegt ... oder nutzt du den auch?
Danke jedenfalls für deine antwort.