Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mastodon.social/users/nekohayo/statuses/111293048594813236">Jeff Fortin T. (nekohayo@mastodon.social)'s status on Wednesday, 25-Oct-2023 10:31:19 JST</a><a href="https://mastodon.social/@nekohayo" title="nekohayo@mastodon.social"><img src="https://gnusocial.jp/avatar/156994-48-20230803125204.webp" width="48" height="48" alt="Jeff Fortin T." style="position: absolute; left: 0; top: 0;">Jeff Fortin T.</a><div><a href="https://fosstodon.org/@hergertme/111293024646024432" rel="in-reply-to">in reply to</a><ul><li><li><a href="https://gnusocial.jp/user/156562" title="me@social.taupehat.com">Mike Ely</a></li></ul></div></section><article><p><a href="https://fosstodon.org/@hergertme">@hergertme</a> <a href="https://social.taupehat.com/@me">@me</a> 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 🤷️</p><p>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.</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/2229946#notice-4388911">In conversation</a><time datetime="2023-10-25T10:31:19+09:00" title="Wednesday, 25-Oct-2023 10:31:19 JST">about a year ago</time> <span>from <span><a href="https://mastodon.social/@nekohayo/111293048594813236" rel="external" title="Sent from mastodon.social via ActivityPub">mastodon.social</a></span></span><a href="https://mastodon.social/@nekohayo/111293048594813236">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
Jeff Fortin T. (nekohayo@mastodon.social)'s status on Wednesday, 25-Oct-2023 10:31:19 JSTJeff Fortin T.
in reply to
- hergertme
- Mike Ely
@hergertme @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.
In conversationabout a year ago from mastodon.socialpermalink

Public

Embed Notice

HTML Code

Corresponding Notice