Linux Mint Debian - Change terminal title to servername
I am using the standard terminal and i want to change the terminal title after connecting via ssh to a other server.
Is there a possible way?
Thanks ya!
linux debian terminal linux-mint
asked Dec 20 '18 at 13:53
Paul01Paul01
1
add a comment |
I am using the standard terminal and i want to change the terminal title after connecting via ssh to a other server.
Is there a possible way?
Thanks ya!
linux debian terminal linux-mint
asked Dec 20 '18 at 13:53
Paul01Paul01
1
Can you clarify what you mean by the terminal title?
– fixer1234
Dec 20 '18 at 20:25
And what is "standard terminal"?
– Kamil Maciorowski
Dec 26 '18 at 20:00
I am using the GNOME-Terminal. With the terminal title i mean the text which is displayed when i open a new tab strg+shift+t
– Paul01
Jan 8 at 13:49
add a comment |
I am using the standard terminal and i want to change the terminal title after connecting via ssh to a other server.
Is there a possible way?
Thanks ya!
linux debian terminal linux-mint
asked Dec 20 '18 at 13:53
Paul01Paul01
1
I am using the standard terminal and i want to change the terminal title after connecting via ssh to a other server.
Is there a possible way?
Thanks ya!
linux debian terminal linux-mint
linux debian terminal linux-mint
asked Dec 20 '18 at 13:53
Paul01Paul01
1
asked Dec 20 '18 at 13:53
Paul01Paul01
1
asked Dec 20 '18 at 13:53
Paul01Paul01
1
asked Dec 20 '18 at 13:53
Paul01Paul01
1
asked Dec 20 '18 at 13:53
Paul01Paul01
1
1
Can you clarify what you mean by the terminal title?
– fixer1234
Dec 20 '18 at 20:25
And what is "standard terminal"?
– Kamil Maciorowski
Dec 26 '18 at 20:00
I am using the GNOME-Terminal. With the terminal title i mean the text which is displayed when i open a new tab strg+shift+t
– Paul01
Jan 8 at 13:49
add a comment |
Can you clarify what you mean by the terminal title?
– fixer1234
Dec 20 '18 at 20:25
And what is "standard terminal"?
– Kamil Maciorowski
Dec 26 '18 at 20:00
I am using the GNOME-Terminal. With the terminal title i mean the text which is displayed when i open a new tab strg+shift+t
– Paul01
Jan 8 at 13:49
Can you clarify what you mean by the terminal title?
– fixer1234
Dec 20 '18 at 20:25
Can you clarify what you mean by the terminal title?
– fixer1234
Dec 20 '18 at 20:25
And what is "standard terminal"?
– Kamil Maciorowski
Dec 26 '18 at 20:00
And what is "standard terminal"?
– Kamil Maciorowski
Dec 26 '18 at 20:00
I am using the GNOME-Terminal. With the terminal title i mean the text which is displayed when i open a new tab strg+shift+t
– Paul01
Jan 8 at 13:49
I am using the GNOME-Terminal. With the terminal title i mean the text which is displayed when i open a new tab strg+shift+t
– Paul01
Jan 8 at 13:49
add a comment |
1 Answer
1
active
oldest
votes
Yes, however it can be tricky depending on which terminal emulator your using (and if it follows the standards) along with which shell your using.
You could set it directly from the prompt being set, in bash:
PROMPT_COMMAND='echo -ne "33]0;SOME TITLE HERE07"' in your bash.rc will do the job.
You can have variables in this, so it'll be updated each time the prompt is returned.
Or you can execute a script manually, using just the echo command echo -ne "33]0;Server12307" which would set a static title for the terminal until you overwrite it again.
answered Dec 26 '18 at 19:56
djsmiley2kdjsmiley2k
4,96312335
What shouldecho -nereturn? I get no output
– Paul01
Jan 8 at 10:12
And i dont want to change the prompt.. I want to change the title of the terminal tab
– Paul01
Jan 8 at 10:17
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "3"
};
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: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
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%2fsuperuser.com%2fquestions%2f1386285%2flinux-mint-debian-change-terminal-title-to-servername%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
Yes, however it can be tricky depending on which terminal emulator your using (and if it follows the standards) along with which shell your using.
You could set it directly from the prompt being set, in bash:
PROMPT_COMMAND='echo -ne "33]0;SOME TITLE HERE07"' in your bash.rc will do the job.
You can have variables in this, so it'll be updated each time the prompt is returned.
Or you can execute a script manually, using just the echo command echo -ne "33]0;Server12307" which would set a static title for the terminal until you overwrite it again.
answered Dec 26 '18 at 19:56
djsmiley2kdjsmiley2k
4,96312335
What shouldecho -nereturn? I get no output
– Paul01
Jan 8 at 10:12
And i dont want to change the prompt.. I want to change the title of the terminal tab
– Paul01
Jan 8 at 10:17
add a comment |
Yes, however it can be tricky depending on which terminal emulator your using (and if it follows the standards) along with which shell your using.
You could set it directly from the prompt being set, in bash:
PROMPT_COMMAND='echo -ne "33]0;SOME TITLE HERE07"' in your bash.rc will do the job.
You can have variables in this, so it'll be updated each time the prompt is returned.
Or you can execute a script manually, using just the echo command echo -ne "33]0;Server12307" which would set a static title for the terminal until you overwrite it again.
answered Dec 26 '18 at 19:56
djsmiley2kdjsmiley2k
4,96312335
What shouldecho -nereturn? I get no output
– Paul01
Jan 8 at 10:12
And i dont want to change the prompt.. I want to change the title of the terminal tab
– Paul01
Jan 8 at 10:17
add a comment |
Yes, however it can be tricky depending on which terminal emulator your using (and if it follows the standards) along with which shell your using.
You could set it directly from the prompt being set, in bash:
PROMPT_COMMAND='echo -ne "33]0;SOME TITLE HERE07"' in your bash.rc will do the job.
You can have variables in this, so it'll be updated each time the prompt is returned.
Or you can execute a script manually, using just the echo command echo -ne "33]0;Server12307" which would set a static title for the terminal until you overwrite it again.
answered Dec 26 '18 at 19:56
djsmiley2kdjsmiley2k
4,96312335
Yes, however it can be tricky depending on which terminal emulator your using (and if it follows the standards) along with which shell your using.
You could set it directly from the prompt being set, in bash:
PROMPT_COMMAND='echo -ne "33]0;SOME TITLE HERE07"' in your bash.rc will do the job.
You can have variables in this, so it'll be updated each time the prompt is returned.
Or you can execute a script manually, using just the echo command echo -ne "33]0;Server12307" which would set a static title for the terminal until you overwrite it again.
answered Dec 26 '18 at 19:56
djsmiley2kdjsmiley2k
4,96312335
answered Dec 26 '18 at 19:56
djsmiley2kdjsmiley2k
4,96312335
answered Dec 26 '18 at 19:56
djsmiley2kdjsmiley2k
4,96312335
answered Dec 26 '18 at 19:56
djsmiley2kdjsmiley2k
4,96312335
4,96312335
What shouldecho -nereturn? I get no output
– Paul01
Jan 8 at 10:12
And i dont want to change the prompt.. I want to change the title of the terminal tab
– Paul01
Jan 8 at 10:17
add a comment |
What shouldecho -nereturn? I get no output
– Paul01
Jan 8 at 10:12
And i dont want to change the prompt.. I want to change the title of the terminal tab
– Paul01
Jan 8 at 10:17
What should
echo -ne return? I get no output– Paul01
Jan 8 at 10:12
What should
echo -ne return? I get no output– Paul01
Jan 8 at 10:12
And i dont want to change the prompt.. I want to change the title of the terminal tab
– Paul01
Jan 8 at 10:17
And i dont want to change the prompt.. I want to change the title of the terminal tab
– Paul01
Jan 8 at 10:17
add a comment |
Thanks for contributing an answer to Super User!
- 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%2fsuperuser.com%2fquestions%2f1386285%2flinux-mint-debian-change-terminal-title-to-servername%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
Can you clarify what you mean by the terminal title?
– fixer1234
Dec 20 '18 at 20:25
And what is "standard terminal"?
– Kamil Maciorowski
Dec 26 '18 at 20:00
I am using the GNOME-Terminal. With the terminal title i mean the text which is displayed when i open a new tab strg+shift+t
– Paul01
Jan 8 at 13:49