From: Jannik ZANDER Date: Sun, 1 Jul 2018 14:23:58 +0000 (+0200) Subject: Change terminal title PWD X-Git-Url: https://git.zndr.dk/?a=commitdiff_plain;h=4c919f7a94a2f2d1b7888d4eaff6ae39a2f9ec5d;p=dotfiles.git Change terminal title PWD --- 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}"