111 reputation
12
bio website
location
age
visits member for 2 years, 6 months
seen Jul 1 at 11:24

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?