You are not logged in.

#1 2023-06-22 13:40:45

tomsk
Member
Registered: 2016-12-17
Posts: 203

Set default terminal emulator in GNOME

Hello,

I cannot find it anywhere, how can I set default terminal emulator to Kitty instead of GNOME Terminal in GNOME desktop environment?

I found lot of solutions about setting gsettings but they look all deprecated.


I use several linux distros like: Archlinux, Ubuntu, Fedora, Linux Mint

Offline

#2 2023-06-22 14:27:48

seth
Member
From: Don't DM me only for attention
Registered: 2012-09-03
Posts: 71,684

Offline

#3 2023-06-22 15:36:01

Trilby
Inspector Parrot
Registered: 2011-11-29
Posts: 30,439
Website

Re: Set default terminal emulator in GNOME

Take my comment there with a grain of salt.  I linked to other sources, but I don't know how reliable they are.  I have no experience with gnome - and sadly neither do most gnome-users who contribute to the discussions I linked to as references.  I find it very hard to believe there is no way to change the default TE in a major DE... hard, but not impossible, and if any DE were to f*** up that badly, it'd certainly be gnome, but it would surprise me even from them.

What is certainly clear is that there is no documented way of making such a change.

Last edited by Trilby (2023-06-22 15:39:15)


"UNIX is simple and coherent" - Dennis Ritchie; "GNU's Not Unix" - Richard Stallman

Offline

#4 2023-06-22 15:47:22

seth
Member
From: Don't DM me only for attention
Registered: 2012-09-03
Posts: 71,684

Re: Set default terminal emulator in GNOME

https://bbs.archlinux.org/viewtopic.php … 1#p2085601

xdg-terminal-exec seems to have arrived, but I've not tested that and it's neither universal nor uncontested contested, so it'll probably be gone in no time as well.

I suspect adopting $TERMINAL would have  been too easy… roll

Offline

#5 2023-06-22 23:02:46

espritlibre
Member
Registered: 2022-12-15
Posts: 138

Re: Set default terminal emulator in GNOME

gnome-terminal/3 dots menu/Prefernces/your Profile/Command/Run a custom command instead of my shell

Offline

#6 2023-06-23 05:41:31

seth
Member
From: Don't DM me only for attention
Registered: 2012-09-03
Posts: 71,684

Re: Set default terminal emulator in GNOME

That allows you to by default have gnome-terminal run eg. fish while keeping bash your users login shell.
It does not change what terminal emulator actually gets used by default (gnome-terminal or gnome-console, the OP would prefer kitty)

Offline

#7 2023-06-23 20:42:03

tomsk
Member
Registered: 2016-12-17
Posts: 203

Re: Set default terminal emulator in GNOME

Idk what to do, so I did: big_smile

[root@tomsk-PC tomsk]# whereis gnome-terminal
gnome-terminal: /usr/bin/gnome-terminal /usr/lib/gnome-terminal /usr/share/man/man1/gnome-terminal.1.gz
[root@tomsk-PC tomsk]# whereis kitty
kitty: /usr/bin/kitty /usr/lib/kitty /usr/share/man/man1/kitty.1.gz
[root@tomsk-PC tomsk]# rm /usr/bin/gnome-terminal
[root@tomsk-PC tomsk]# ln -s /usr/bin/kitty /usr/bin/gnome-terminal

I use several linux distros like: Archlinux, Ubuntu, Fedora, Linux Mint

Offline

#8 2023-06-24 06:02:53

seth
Member
From: Don't DM me only for attention
Registered: 2012-09-03
Posts: 71,684

Re: Set default terminal emulator in GNOME

seth wrote:

murky as hell

Then see
https://gitlab.gnome.org/GNOME/glib/-/i … te_1745989
but also the linked https://github.com/ublue-os/main/issues … 1551600704

· It's just a messy shell script, with a vastly over-complicated design.
· It was only temporarily added to GLib (see commit comment), to appease people who were annoyed that GNOME had removed the dconf flags for switching terminal. They put it at the top of the terminal binary list, which means that if it's detected on the system, it gets launched as if it's the terminal binary.
· Their plan is to remove it from GLib after they finish work on another spec called xdg-default-apps instead, since xdg-terminal-exec is an overcomplicated and hacky script.

seth wrote:

…as everything gnome

roll

Please always remember to mark resolved threads by editing your initial posts subject - so others will know that there's no task left, but maybe a solution to find.
Thanks.

Offline

#9 2023-06-24 08:26:44

tomsk
Member
Registered: 2016-12-17
Posts: 203

Re: Set default terminal emulator in GNOME

So https://github.com/ublue-os/main/issues … 1551600704 this is "way" to change GNOME Terminal for anything else?


I use several linux distros like: Archlinux, Ubuntu, Fedora, Linux Mint

Offline

#10 2023-06-24 12:03:16

seth
Member
From: Don't DM me only for attention
Registered: 2012-09-03
Posts: 71,684

Re: Set default terminal emulator in GNOME

It's a crutch on the verge of breaking soon(-ish) that will be used by glib2 code, nothing else and it will never be because it's a gnome-proprietary extension to XDG… until it gets removed.
There is (for now) no (longer  a) sane way to alter the gnome default terminal emulator, just a bunch of murky hacks.

Offline

#11 2023-06-24 12:08:08

Trilby
Inspector Parrot
Registered: 2011-11-29
Posts: 30,439
Website

Re: Set default terminal emulator in GNOME

seth wrote:

just a bunch of murky hacks

Fun fact, that is what the sign over the door to the office of gnome devs says.


"UNIX is simple and coherent" - Dennis Ritchie; "GNU's Not Unix" - Richard Stallman

Offline

#12 2023-06-24 12:55:04

seth
Member
From: Don't DM me only for attention
Registered: 2012-09-03
Posts: 71,684

Re: Set default terminal emulator in GNOME

3i2bRMx.jpg

Offline

#13 2025-06-13 22:06:37

realmotylek
Member
Registered: 2023-07-14
Posts: 7

Re: Set default terminal emulator in GNOME

I did a hacky method, that at least allows you to open Kitty by clicking "Open in Console". It works, but yeah. Still not a good solution as this disables the GNOME Terminal as it won't run due to D-Bus errors.
You can check out here: https://github.com/jotkauser/gnomeconsolemock
If you even will this after entire 2 years

Offline

Board footer

Powered by FluxBB