gnome-shell-extension-ddterm
gnome-shell-extension-ddterm copied to clipboard
Rename tab with command
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.
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
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