mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

373K
active users

Jeff Fortin T.

@hergertme@fosstodon.org @me If upstream GNOME Terminal forbids manually setting/pinning a custom title for a tab, that is a rather unfortunate decision in my humble personal opinion 🤷

The fact that GNOME Terminal (in Fedora at least) still lets me do this, and that GNOME Console hasn't implemented it (yet?) is 100% the one and only reason why I am not using GNOME Console (even though I would want to), no jokes. I can't keep track of my shite otherwise.