Am 06.02.2024 um 00:14 schrieb David Christensen: > Comments or suggestions? This may be unrelated, but ... I can copy/paste using the mouse, or - if i use the keyboard - i need to copy paste using CTRL-Shift-C and CTRL-Shift-V (when in the terminal emulator like gnome-terminal or terminator)