Rename tab with command

ddterm / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively

https://extensions.gnome.org/extension/3780/ddterm/

GNU General Public License v3.0

289 stars 26 forks source link

Rename tab with command #256

Open leomayer opened 1 year ago

leomayer commented 1 year ago

In guake I can rename the tab with guake -r "my-new-tab-name".

Is there a similar command to it? Especially when running long lasting commands I loose the overview. Therefore I would like to have them in a command for simple rename.

amezin commented 1 year ago

No, there is no CLI command for that.

However, you could:

Adjust tab title in the preferences
Rename tabs from the context menu (right-click on the tab label), or with a keyboard shortcut ("Set custom tab title") - but it's not configured by default

If you need a CLI command, this feature will need https://github.com/ddterm/gnome-shell-extension-ddterm/issues/79 first

amezin commented 9 months ago

v44 has --title CLI option. It doesn't allow you to rename an existing tab - but, at least, when you create a new tab from the command line, you can set a custom title for it