From 4c919f7a94a2f2d1b7888d4eaff6ae39a2f9ec5d Mon Sep 17 00:00:00 2001 From: Jannik ZANDER Date: Sun, 1 Jul 2018 16:23:58 +0200 Subject: [PATCH] Change terminal title PWD --- .bashrc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.bashrc b/.bashrc index c23823d..c4d9c10 100644 --- 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}" -- 2.43.0