Reputation
Top tag
Next privilege 125 Rep.
Vote down
Badges
1 2
Impact
~6k people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
Mar
9
comment How do I set the default GNOME terminal?
@dadexix86less yes, I have.
Mar
9
comment How do I set the default GNOME terminal?
Nothing changes :(. In my opinion, such error message indicates, that desktop.default-applications.terminal and Default Terminal in shortcut settings is different things.
Mar
9
comment How do I set the default GNOME terminal?
Still equal error message.