Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > gnu.bash.bug > #15635 > unrolled thread
| Started by | Greg Wooledge <wooledg@eeg.ccf.org> |
|---|---|
| First post | 2019-11-25 09:40 -0500 |
| Last post | 2019-11-25 09:40 -0500 |
| Articles | 1 — 1 participant |
Back to article view | Back to gnu.bash.bug
This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by
below is the oldest one visible, not the original post.
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
| From | Greg Wooledge <wooledg@eeg.ccf.org> |
|---|---|
| Date | 2019-11-25 09:40 -0500 |
| Subject | Re: Feature request: output/send \033]7; file:///the/current/dir\033\\ on directory change |
| Message-ID | <mailman.2581.1574692837.13325.bug-bash@gnu.org> |
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 top | Article view | gnu.bash.bug
csiph-web