Gerd Riesselmann

Results 11 comments of Gerd Riesselmann

I manged to fix the issue by executing ``` gsettings set org.gnome.desktop.default-applications.terminal exec gnome-terminal ``` which however should not be necessary since gnome-terminal is already the default fallback, right? However,...