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.