[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Feature request: output/send \033]7; file:///the/current/dir\033\\ o
Re: Feature request: output/send \033]7; file:///the/current/dir\033\\ on directory change
Mon, 25 Nov 2019 09:40:31 -0500
On Mon, Nov 25, 2019 at 04:33:13PM +0200, IFo Hancroft wrote:
> > You can do it yourself, by putting the functions I just gave you into
> > your ~/.bashrc file. This kind of change doesn't belong in the shell
> > itself, because it will *not* be a "clean solution" for everybody.
> I know I can do it myself. The idea is for it to work without having to be
> manually added. Hence the feature request for it to be done by the shell.
> In what cases/for whom it may not be a clean solution if done by the shell?
The most obvious one would be someone who doesn't want their terminal's
title bar (or whatever "7" controls) to be altered.
The next most obvious would be someone who's not on an xterm-style
terminal, where that escape sequence does something surprising.
Not all terminals work like YOUR terminal.