Recommended mutli-tab terminal
Clash Royale CLAN TAG#URR8PPP
I'm using Ubuntu 18 default setup with GNOME Terminal. I can do New Tab, but I'm not finding a way to name/title an existing tab: there is no Set Title option in the Terminal menu, and I can't find a way to get gnome-terminal --tab --title SOMETHING to operate on existing tab. Currently I have defined these in my .bashrc:
tt() echo Need tab title;
ntt()
I have tried guake and termit and tilix are the only ones out of a dozen that seem to support renaming tab from GUI (several that I tried were unstable or output a bunch of stuff to stderr, would rather not use -- like terminology and terminator).
The custom commands work, but
- is there a way to set GNOME Terminal tab title of existing tab from command line without such arcane sequence of escape characters (as seen https://askubuntu.com/a/22417/738406)
- is there a better terminal emulator, ie one that is at least as good as GNOME Terminal but also supports doing #1 and additionally set tab title from GUI?
ubuntu terminal gnome-terminal terminal-emulator
asked Jan 24 at 19:35
OliverOliver
1595
add a comment |
I'm using Ubuntu 18 default setup with GNOME Terminal. I can do New Tab, but I'm not finding a way to name/title an existing tab: there is no Set Title option in the Terminal menu, and I can't find a way to get gnome-terminal --tab --title SOMETHING to operate on existing tab. Currently I have defined these in my .bashrc:
tt() echo Need tab title;
ntt()
I have tried guake and termit and tilix are the only ones out of a dozen that seem to support renaming tab from GUI (several that I tried were unstable or output a bunch of stuff to stderr, would rather not use -- like terminology and terminator).
The custom commands work, but
- is there a way to set GNOME Terminal tab title of existing tab from command line without such arcane sequence of escape characters (as seen https://askubuntu.com/a/22417/738406)
- is there a better terminal emulator, ie one that is at least as good as GNOME Terminal but also supports doing #1 and additionally set tab title from GUI?
ubuntu terminal gnome-terminal terminal-emulator
asked Jan 24 at 19:35
OliverOliver
1595
@Fox yes I know I have done that in the meantime but would rather find out if there is a builtin solution rather than re-invent the wheel, seems like such a basic need
– Oliver
Jan 24 at 21:16
To whoever downvoted, I have added more info about what I tried.
– Oliver
Jan 24 at 21:23
xfce4-terminalprovides an option to rename a tab by right-clicking on the tab.
– finswimmer
Jan 25 at 5:22
add a comment |
I'm using Ubuntu 18 default setup with GNOME Terminal. I can do New Tab, but I'm not finding a way to name/title an existing tab: there is no Set Title option in the Terminal menu, and I can't find a way to get gnome-terminal --tab --title SOMETHING to operate on existing tab. Currently I have defined these in my .bashrc:
tt() echo Need tab title;
ntt()
I have tried guake and termit and tilix are the only ones out of a dozen that seem to support renaming tab from GUI (several that I tried were unstable or output a bunch of stuff to stderr, would rather not use -- like terminology and terminator).
The custom commands work, but
- is there a way to set GNOME Terminal tab title of existing tab from command line without such arcane sequence of escape characters (as seen https://askubuntu.com/a/22417/738406)
- is there a better terminal emulator, ie one that is at least as good as GNOME Terminal but also supports doing #1 and additionally set tab title from GUI?
ubuntu terminal gnome-terminal terminal-emulator
asked Jan 24 at 19:35
OliverOliver
1595
I'm using Ubuntu 18 default setup with GNOME Terminal. I can do New Tab, but I'm not finding a way to name/title an existing tab: there is no Set Title option in the Terminal menu, and I can't find a way to get gnome-terminal --tab --title SOMETHING to operate on existing tab. Currently I have defined these in my .bashrc:
tt() echo Need tab title;
ntt()
I have tried guake and termit and tilix are the only ones out of a dozen that seem to support renaming tab from GUI (several that I tried were unstable or output a bunch of stuff to stderr, would rather not use -- like terminology and terminator).
The custom commands work, but
- is there a way to set GNOME Terminal tab title of existing tab from command line without such arcane sequence of escape characters (as seen https://askubuntu.com/a/22417/738406)
- is there a better terminal emulator, ie one that is at least as good as GNOME Terminal but also supports doing #1 and additionally set tab title from GUI?
ubuntu terminal gnome-terminal terminal-emulator
ubuntu terminal gnome-terminal terminal-emulator
asked Jan 24 at 19:35
OliverOliver
1595
asked Jan 24 at 19:35
OliverOliver
1595
edited Jan 24 at 21:22
Oliver
asked Jan 24 at 19:35
OliverOliver
1595
asked Jan 24 at 19:35
OliverOliver
1595
asked Jan 24 at 19:35
OliverOliver
1595
1595
@Fox yes I know I have done that in the meantime but would rather find out if there is a builtin solution rather than re-invent the wheel, seems like such a basic need
– Oliver
Jan 24 at 21:16
To whoever downvoted, I have added more info about what I tried.
– Oliver
Jan 24 at 21:23
xfce4-terminalprovides an option to rename a tab by right-clicking on the tab.
– finswimmer
Jan 25 at 5:22
add a comment |
@Fox yes I know I have done that in the meantime but would rather find out if there is a builtin solution rather than re-invent the wheel, seems like such a basic need
– Oliver
Jan 24 at 21:16
To whoever downvoted, I have added more info about what I tried.
– Oliver
Jan 24 at 21:23
xfce4-terminalprovides an option to rename a tab by right-clicking on the tab.
– finswimmer
Jan 25 at 5:22
@Fox yes I know I have done that in the meantime but would rather find out if there is a builtin solution rather than re-invent the wheel, seems like such a basic need
– Oliver
Jan 24 at 21:16
@Fox yes I know I have done that in the meantime but would rather find out if there is a builtin solution rather than re-invent the wheel, seems like such a basic need
– Oliver
Jan 24 at 21:16
To whoever downvoted, I have added more info about what I tried.
– Oliver
Jan 24 at 21:23
To whoever downvoted, I have added more info about what I tried.
– Oliver
Jan 24 at 21:23
xfce4-terminal provides an option to rename a tab by right-clicking on the tab.– finswimmer
Jan 25 at 5:22
xfce4-terminal provides an option to rename a tab by right-clicking on the tab.– finswimmer
Jan 25 at 5:22
add a comment |
1 Answer
1
active
oldest
votes
I was very frustrated when gnome-terminal stopped allowing tab naming. My solution was to create a function that is stored in my .bash_functions file that is sourced by my .bash_profile. This is that function:
function tabname()
newName="$1"
PROMPT_COMMAND='echo -ne "33]0;$newName07"'
You use it by switching to the tab you want to rename, such as "myTab":
tabname "myTab"
Hope this helps.
answered Feb 3 at 17:10
Benny HelmsBenny Helms
1
Thanks but this is too similar to what I already describe in my question (see tt and NTT functions). This approach works, but also means everyone is reinventing the wheel, I was hoping I had missed something obvious that would not require this approach.
– Oliver
Feb 3 at 22:12
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "106"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2funix.stackexchange.com%2fquestions%2f496534%2frecommended-mutli-tab-terminal%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
I was very frustrated when gnome-terminal stopped allowing tab naming. My solution was to create a function that is stored in my .bash_functions file that is sourced by my .bash_profile. This is that function:
function tabname()
newName="$1"
PROMPT_COMMAND='echo -ne "33]0;$newName07"'
You use it by switching to the tab you want to rename, such as "myTab":
tabname "myTab"
Hope this helps.
answered Feb 3 at 17:10
Benny HelmsBenny Helms
1
Thanks but this is too similar to what I already describe in my question (see tt and NTT functions). This approach works, but also means everyone is reinventing the wheel, I was hoping I had missed something obvious that would not require this approach.
– Oliver
Feb 3 at 22:12
add a comment |
I was very frustrated when gnome-terminal stopped allowing tab naming. My solution was to create a function that is stored in my .bash_functions file that is sourced by my .bash_profile. This is that function:
function tabname()
newName="$1"
PROMPT_COMMAND='echo -ne "33]0;$newName07"'
You use it by switching to the tab you want to rename, such as "myTab":
tabname "myTab"
Hope this helps.
answered Feb 3 at 17:10
Benny HelmsBenny Helms
1
Thanks but this is too similar to what I already describe in my question (see tt and NTT functions). This approach works, but also means everyone is reinventing the wheel, I was hoping I had missed something obvious that would not require this approach.
– Oliver
Feb 3 at 22:12
add a comment |
I was very frustrated when gnome-terminal stopped allowing tab naming. My solution was to create a function that is stored in my .bash_functions file that is sourced by my .bash_profile. This is that function:
function tabname()
newName="$1"
PROMPT_COMMAND='echo -ne "33]0;$newName07"'
You use it by switching to the tab you want to rename, such as "myTab":
tabname "myTab"
Hope this helps.
answered Feb 3 at 17:10
Benny HelmsBenny Helms
1
I was very frustrated when gnome-terminal stopped allowing tab naming. My solution was to create a function that is stored in my .bash_functions file that is sourced by my .bash_profile. This is that function:
function tabname()
newName="$1"
PROMPT_COMMAND='echo -ne "33]0;$newName07"'
You use it by switching to the tab you want to rename, such as "myTab":
tabname "myTab"
Hope this helps.
answered Feb 3 at 17:10
Benny HelmsBenny Helms
1
answered Feb 3 at 17:10
Benny HelmsBenny Helms
1
answered Feb 3 at 17:10
Benny HelmsBenny Helms
1
answered Feb 3 at 17:10
Benny HelmsBenny Helms
1
1
Thanks but this is too similar to what I already describe in my question (see tt and NTT functions). This approach works, but also means everyone is reinventing the wheel, I was hoping I had missed something obvious that would not require this approach.
– Oliver
Feb 3 at 22:12
add a comment |
Thanks but this is too similar to what I already describe in my question (see tt and NTT functions). This approach works, but also means everyone is reinventing the wheel, I was hoping I had missed something obvious that would not require this approach.
– Oliver
Feb 3 at 22:12
Thanks but this is too similar to what I already describe in my question (see tt and NTT functions). This approach works, but also means everyone is reinventing the wheel, I was hoping I had missed something obvious that would not require this approach.
– Oliver
Feb 3 at 22:12
Thanks but this is too similar to what I already describe in my question (see tt and NTT functions). This approach works, but also means everyone is reinventing the wheel, I was hoping I had missed something obvious that would not require this approach.
– Oliver
Feb 3 at 22:12
add a comment |
Thanks for contributing an answer to Unix & Linux Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2funix.stackexchange.com%2fquestions%2f496534%2frecommended-mutli-tab-terminal%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
@Fox yes I know I have done that in the meantime but would rather find out if there is a builtin solution rather than re-invent the wheel, seems like such a basic need
– Oliver
Jan 24 at 21:16
To whoever downvoted, I have added more info about what I tried.
– Oliver
Jan 24 at 21:23
xfce4-terminalprovides an option to rename a tab by right-clicking on the tab.– finswimmer
Jan 25 at 5:22