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
Dec
19
awarded  Notable Question
Mar
13
awarded  Popular Question
Mar
10
awarded  Student
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.
Mar
9
asked How do I set the default GNOME terminal?
Mar
9
asked How does Gnome 3 execute commands that are bound to keyboard shortcuts?