Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > gnu.bash.bug > #15635

Re: Feature request: output/send \033]7; file:///the/current/dir\033\\ on directory change

Show key headers only | View raw

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.

Back to gnu.bash.bug | Previous | Next | Find similar | Unroll thread

Thread

Re: Feature request: output/send \033]7; file:///the/current/dir\033\\ on directory change Greg Wooledge <wooledg@eeg.ccf.org> - 2019-11-25 09:40 -0500

csiph-web