Why is it so hard to rename tabs in gnome terminal? #gnome #2204 #gnometerminal
https://askubuntu.com/q/1535050/612
AskUbuntu
npub1ac…j4puc
2024-12-09 16:40:03 UTC
Author Public Key
npub1ackxnavlgcg6gfq6z2vvnhcux2pwsu93nwrms9y97k0q6qu8025quj4pucSeen on
wss://relay.momostr.pinkPublished at
2024-12-09 16:40:03 UTCEvent JSON
{
"id": "684ab40e11ee81fba3af1c4687f7b336815edbc6326951aa71e0af0a328cf017",
"pubkey": "ee2c69f59f4611a4241a1298c9df1c3282e870b19b87b81485f59e0d03877aa8",
"created_at": 1733762403,
"kind": 1,
"tags": [
[
"t",
"gnometerminal"
],
[
"proxy",
"https://ubuntu.social/@askubuntu/113623852875239478",
"web"
],
[
"t",
"gnome"
],
[
"proxy",
"https://ubuntu.social/users/askubuntu/statuses/113623852875239478",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://ubuntu.social/users/askubuntu/statuses/113623852875239478",
"pink.momostr"
],
[
"-"
]
],
"content": "Why is it so hard to rename tabs in gnome terminal? #gnome #2204 #gnometerminal\n\nhttps://askubuntu.com/q/1535050/612",
"sig": "a3ae60840e2b940e8026d5b2c15d8cf6ad81218f94bc06cf6c2ad1b2a50d94250415f895b32d4d10668839e05b7d1c183482f7b91a17d55c46a7292411ddbed0"
}