]> git.zndr.dk Git - dotfiles.git/commitdiff
Change terminal title PWD
authorJannik ZANDER <jzander@grundfos.com>
Sun, 1 Jul 2018 14:23:58 +0000 (16:23 +0200)
committerJannik ZANDER <jzander@grundfos.com>
Sun, 1 Jul 2018 14:23:58 +0000 (16:23 +0200)
.bashrc

diff --git a/.bashrc b/.bashrc
index c23823de095ea4414d55c91ca376ed9e5cf65884..c4d9c10281069127d6d8b1f946ae9f7e1215e1f0 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -7,8 +7,7 @@
 if [[ -z "$MSYS2_PS1" ]]; then
   PS1='${debian_chroot:+($debian_chroot)}'  # debian
 else
-  PS1='\[\033]0;$TITLEPREFIX:$PWD\007\]'    # windows
-
+  PS1='\[\033]0;$PWD\007\]'    # terminal title = PWD
   cd ~
   GIT_EXEC_PATH="$(git --exec-path 2>/dev/null)"
   COMPLETION_PATH="${GIT_EXEC_PATH%/libexec/git-core}"