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

Gnome

1624 readers
3 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
 

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.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here