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

Groups > gnu.bash.bug > #15632 > unrolled thread

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

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.

Contents

  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

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

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.

[toc] | [standalone]

Back to top | Article view | gnu.bash.bug

csiph-web