You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
macOS (16", 2023) w/ Ventura 13.6.9; using native Terminal.app
There are two (2) issues; perhaps related (?):
Unable to set 'tab' or 'title' from zsh cmd line: echo -en "\033]0; New Name \007" yields nothing (no change)
When 'tab' & 'title' are set using Inspector applet (p/o Terminal), the 'tab' & 'title' immediately revert to whatever they were previously as soon as a command is entered at the command line.
It has been suggested that pure may be the cause of this behavior. I don't know enough about pure to even have an opinion, but my first thought was, "Huh?!... what does my prompt have to do with tab & title?"
But whatever the cause, I must be able to set my tabs and title independently of the prompt. I have too many tabs open at all times to remember which tab I was using for a certain task.
System report (output of prompt_pure_system_report):
Indeed, Pure is overriding the title you're trying to set. You could add this to your .zshrc after prompt pure to override the Pure behavior (override with a no-op function).
prompt_pure_set_title() {}
I'd be interested to know what you thought about the feature once you've been without it for a while. Did you miss it or was it just in the way?
Ideally we could check if the title has been modified by the user, but alas, that's not trivial. So ultimately I think it's a question of, is this good enough, can we make the behavior better, or do we need to introduce an option to disable it.
Mathias - thanks so much for that; esp the very prompt response!
WRT "what I think about the feature...": I'll be happy to provide some feedback after having disabled it for a while. But for me, I'm fairly certain I'll be much happier without it. My prompt is this:
/etc
==>
So I've got the most essential info there. In my use-case, the ability to set up fixed 'tab' names is important to me for the organizing aspect of it. I command-tab to get to the desktop w/ Terminal, and can immediately see which tab I need to jump into. I'm pretty dull I guess :)
General information
macOS (16", 2023) w/ Ventura 13.6.9; using native
Terminal.app
There are two (2) issues; perhaps related (?):
zsh
cmd line:echo -en "\033]0; New Name \007"
yields nothing (no change)Inspector
applet (p/oTerminal
), the 'tab' & 'title' immediately revert to whatever they were previously as soon as a command is entered at the command line.It has been suggested that
pure
may be the cause of this behavior. I don't know enough aboutpure
to even have an opinion, but my first thought was, "Huh?!... what does my prompt have to do with tab & title?"But whatever the cause, I must be able to set my tabs and title independently of the prompt. I have too many tabs open at all times to remember which tab I was using for a certain task.
System report (output of
prompt_pure_system_report
):Other information
I have:
Problem description
Please see
### General information
Reproduction steps
Please see
### General information
My
.zshrc
:The text was updated successfully, but these errors were encountered: