gnome-shell-extension-ddterm icon indicating copy to clipboard operation
gnome-shell-extension-ddterm copied to clipboard

Rename tab with command

Open leomayer opened this issue 2 years ago • 2 comments

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.

leomayer avatar Nov 27 '22 17:11 leomayer

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 avatar Dec 05 '22 21:12 amezin

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

amezin avatar Sep 19 '23 17:09 amezin