Hallo sage at guug et al., erstmal vielen Dank für die lebhafte Diskussion gestern Abend! Ich habe das Problem, dass ich mein gnome-terminal nicht für BBB freigeben konnte, lösen können: Das Problem lag wohl an wayland, nach Umschalten auf X.org lief es dann. Viele Grüße Martin