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,...