Page 1 of 1

naming terminals

Posted: Fri May 17, 2019 3:59 pm
by royston
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?

Re: naming terminals

Posted: Fri May 17, 2019 4:09 pm
by gm10
Depends on your terminal emulator. In this one you can just right-click the tabs:
mate-terminal-tab-naming.png

Re: naming terminals

Posted: Fri May 17, 2019 4:25 pm
by royston
Here is a screenshot of the terminal I am using (right-clickingdoesn't seem to offer any alternatives) :
present_terminal.png

Re: naming terminals

Posted: Fri May 17, 2019 4:27 pm
by royston
Thanks you. I was not aware that different terminals were available. Any suggestions on how to change mine?

Re: naming terminals

Posted: Fri May 17, 2019 4:35 pm
by royston
I may have this handled: open System Settings >> Preferred Applications >> and select Terminal ? I will try that. Thanks again.

Re: naming terminals

Posted: Fri May 17, 2019 4:38 pm
by gm10
royston wrote:
Fri May 17, 2019 4:25 pm
Here is a screenshot of the terminal I am using (right-clickingdoesn't seem to offer any alternatives) :
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.
royston wrote:
Fri May 17, 2019 4:27 pm
Thanks you. I was not aware that different terminals were available. Any suggestions on how to change mine?
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

Posted: Fri May 17, 2019 4:49 pm
by royston
This didn't work. I got to system settings > preferred applications (see screenshot)
preferred_apps.png
but the terminal button did not offer a drop-down menu. Is there a way to install alternative terminals?

Re: naming terminals

Posted: Fri May 17, 2019 5:02 pm
by gm10
royston wrote:
Fri May 17, 2019 4:49 pm
Is there a way to install alternative terminals?
As I said, use Software Manager to find and install one. The Preferred Applications listing only lets you choose from what you've already installed.

Re: naming terminals

Posted: Fri May 17, 2019 6:08 pm
by royston
I installed MATE and I like it! Problem solved! Thanks everybody!