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!

asked Dec 20 '18 at 13:53

Paul01

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!

asked Dec 20 '18 at 13:53

Paul01

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!

asked Dec 20 '18 at 13:53

Paul01

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

Paul01

asked Dec 20 '18 at 13:53

Paul01

asked Dec 20 '18 at 13:53

Paul01

asked Dec 20 '18 at 13:53

Paul01

asked Dec 20 '18 at 13:53

Paul01

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

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 |

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

djsmiley2k

4,96312335

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

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
});

}
});

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Post as a guest

Name

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

Name

Required, but never shown

1 Answer
1

active

oldest

votes

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

djsmiley2k

4,96312335

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

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

djsmiley2k

4,96312335

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

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

djsmiley2k

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

djsmiley2k

4,96312335

answered Dec 26 '18 at 19:56

djsmiley2k

4,96312335

answered Dec 26 '18 at 19:56

djsmiley2k

4,96312335

answered Dec 26 '18 at 19:56

djsmiley2k

4,96312335

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

add a comment |

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

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

add a comment |

draft saved

draft discarded

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.

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Post as a guest

Name

Required, but never shown

Post as a guest

Name

Required, but never shown

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Post as a guest

Name

Required, but never shown

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Post as a guest

Name

Required, but never shown

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Post as a guest

Name

Required, but never shown

Name

Required, but never shown

Name

Required, but never shown

This page is only for reference, If you need detailed information, please check here

搜尋此網誌

Csdrhrt