#gnomenautilus — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #gnomenautilus, aggregated by home.social.
-
Tried to change my default terminal emulator to foot, as seen by #GNOME software (e.g. #GNOMENautilus ), and found out that GNOME uses a #hardcoded 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?
-
Tried to change my default terminal emulator to foot, as seen by #GNOME software (e.g. #GNOMENautilus ), and found out that GNOME uses a #hardcoded list of terminal emulators. After looking on Stack Exchange, it appears you can't change it.
Such a botch, are the answers I was reading out-of-date or can you just not change your default terminal in GNOME software?