It would be nice to have an option to display the value of PROMPT_COMMAND in the tab title like, similar to other terminal emulators. Following is an example screenshot from Terminal.app using PROMPT_COMMAND='printf "\e]0;%s\a" "$USER@$(hostname)"':
Its settings allow for a custom title using the ANSI escape sequence:
I know Zed supports displaying PROMPT_COMMAND with terminal.toolbar.show = true in settings by dragging terminal tabs into the editor. However, this is unpractical and takes up unecessary space. It would be nicer to have the title in the tabs.
If applicable, add mockups / screenshots to help present your vision of the feature
notpeter
commented
2 weeks ago
Check for existing issues
Describe the feature
It would be nice to have an option to display the value of
PROMPT_COMMANDin the tab title like, similar to other terminal emulators. Following is an example screenshot from Terminal.app usingPROMPT_COMMAND='printf "\e]0;%s\a" "$USER@$(hostname)"':Its settings allow for a custom title using the ANSI escape sequence:
I know Zed supports displaying
PROMPT_COMMANDwithterminal.toolbar.show = truein settings by dragging terminal tabs into the editor. However, this is unpractical and takes up unecessary space. It would be nicer to have the title in the tabs.If applicable, add mockups / screenshots to help present your vision of the feature
No response