naming terminals
Forum rules
There are no such things as "stupid" questions. However if you think your question is a bit stupid, then this is the right place for you to post it. Stick to easy to-the-point questions that you feel people can answer fast. For long and complicated questions use the other forums in the support section.
Before you post read how to get help. Topics in this forum are automatically closed 6 months after creation.
There are no such things as "stupid" questions. However if you think your question is a bit stupid, then this is the right place for you to post it. Stick to easy to-the-point questions that you feel people can answer fast. For long and complicated questions use the other forums in the support section.
Before you post read how to get help. Topics in this forum are automatically closed 6 months after creation.
naming terminals
When using NetBSD i found it useful to name the tabs of the terminal emulators I was using: vi, ./, top and so on. I have not been able to discover how to do this in Linux Mint. Is there a way?
Last edited by LockBot on Wed Dec 28, 2022 7:16 am, edited 1 time in total.
Reason: Topic automatically closed 6 months after creation. New replies are no longer allowed.
Reason: Topic automatically closed 6 months after creation. New replies are no longer allowed.
Re: naming terminals
Depends on your terminal emulator. In this one you can just right-click the tabs:
Re: naming terminals
Here is a screenshot of the terminal I am using (right-clickingdoesn't seem to offer any alternatives) :
Re: naming terminals
Thanks you. I was not aware that different terminals were available. Any suggestions on how to change mine?
Re: naming terminals
I may have this handled: open System Settings >> Preferred Applications >> and select Terminal ? I will try that. Thanks again.
Re: naming terminals
You'll have to actually add another tab for that option. If you want change the default name of the terminal window itself you can do that in its preferences.
Take a look through the Software Manager, there's a ton of different terminal emulators available. But see above, your current one should be fine.
Re: naming terminals
This didn't work. I got to system settings > preferred applications (see screenshot)
but the terminal button did not offer a drop-down menu. Is there a way to install alternative terminals?Re: naming terminals
I installed MATE and I like it! Problem solved! Thanks everybody!