home.social

#gnomenautilus — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #gnomenautilus, aggregated by home.social.

  1. Tried to change my default terminal emulator to foot, as seen by software (e.g. ), and found out that GNOME uses a list of terminal emulators. After looking on Stack Exchange, it appears you can't change it.

    Are the answers I was reading out-of-date, or is it a botch and you just can't change your default terminal in GNOME software from the hardcoded list?