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

Groups > gnu.bash.bug > #15632

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 02:08:04PM +0200, IFo Hancroft wrote:
> I have the following feature request:
> 
> Output/send \033]7;file:///the/current/dir\033\\ on directory change.

cd() {
    builtin cd "$@" &&
    printf '\e]7;file://%s\a' "$PWD"
}

pushd() {
    builtin pushd "$@" &&
    printf '\e]7;file://%s\a' "$PWD"
}

popd() {
    builtin popd "$@" &&
    printf '\e]7;file://%s\a' "$PWD"
}

> TL;DR:
> It makes sense for the shell to output it on directory change.
> Everyone can take advantage of that.
> It will be clean solution.

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.

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 08:53 -0500

csiph-web