this post was submitted on 19 Mar 2024
5 points (100.0% liked)

Gnome

1910 readers
10 users here now

The GNOME Project is a free and open source desktop and computing platform for open platforms like Linux that strives to be an easy and elegant way to use your computer. GNOME software is developed openly and ethically by both individual contributors and corporate partners, and is distributed under the GNU General Public License.

founded 1 year ago
MODERATORS
petsoi@discuss.tchncs.de
5
Gnome Files - how to change default terminal for "open in terminal" (lemm.ee)
submitted 7 months ago by rescue_toaster@lemm.ee to c/gnome@discuss.tchncs.de
3 comments fedilink hide all child comments
 

How does one change the terminal that Gnome Files uses when opening a directory in terminal using "Open in Terminal"? I'm trying to change the default to foot.

All my searching has led to

sudo update-alternatives --config x-terminal-emulator

  Selection    Path                             Priority   Status
------------------------------------------------------------
  0            /usr/bin/gnome-terminal.wrapper   40        auto mode
* 1            /usr/bin/foot                     20        manual mode
  2            /usr/bin/footclient               10        manual mode
  3            /usr/bin/gnome-terminal.wrapper   40        manual mode
  4            /usr/bin/koi8rxterm               20        manual mode
  5            /usr/bin/lxterm                   30        manual mode
  6            /usr/bin/uxterm                   20        manual mode
  7            /usr/bin/xterm                    20        manual mode

which I can select foot. But Gnome Files does not seem to respect this.

I've also tried directly editing

gsettings set org.gnome.desktop.default-applications.terminal exec foot

where the default exec option is x-terminal-emulator. This also does not work.

you are viewing a single comment's thread
view the rest of the comments
[–] miracleorange@beehaw.org 3 points 7 months ago

There's no GNOME-supported way to do it, but there is this Nautilus extension allowing you to open any terminal (appropriately called nautilus-open-any-terminal).

Fun fact: the ability to open GNOME Terminal from Nautilus is also an extension.