Set tab name

[grahamb]

It would be very useful if the tab name were set to the same name defined in the workspace file. You can do this by setting PS1: PS1=$PS1"\e]2;Tab Name Here\a"

This preserves the user's current prompt setting while setting the title. I'm putting that as the first line in the workflow for now:

• tab1
  • PS1=$PS1"\e]2;tab1\a"
  • echo 'tab1'
• tab2
  • PS1=$PS1"\e]2;tab2\a"
  • echo 'tab2'

[achiurizo]

thanks for the feature request and tip! as of 552f0b72b64e53aa5c59818a77bd8ef3007ff30f, this feature has been adding. please reopen if needed!