111 reputation
12
bio website
location
age
visits member for 2 years, 8 months
seen Nov 18 at 12:23

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.