From ecf3e3731ab257444c99e6bf3f86f9615f087144 Mon Sep 17 00:00:00 2001
From: Ethan Pogrebizsky <eitanpo@users.noreply.github.com>
Date: Sun, 14 Feb 2016 18:03:57 +0200
Subject: .bash_prompt: Improve terminal title

Closes #625.
---
 .bash_prompt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.bash_prompt b/.bash_prompt
index cb018fd..d357107 100644
--- a/.bash_prompt
+++ b/.bash_prompt
@@ -103,14 +103,14 @@ else
 	hostStyle="${yellow}";
 fi;
 
-# Set the terminal title to the current working directory.
-PS1="\033]0; ${PWD##*/}\007";
+# Set the terminal title and prompt.
+PS1="\[\033]0;\W\007\]"; # working directory base name
 PS1+="\[${bold}\]\n"; # newline
 PS1+="\[${userStyle}\]\u"; # username
 PS1+="\[${white}\] at ";
 PS1+="\[${hostStyle}\]\h"; # host
 PS1+="\[${white}\] in ";
-PS1+="\[${green}\]\w"; # working directory
+PS1+="\[${green}\]\w"; # working directory full path
 PS1+="\$(prompt_git \"\[${white}\] on \[${violet}\]\" \"\[${blue}\]\")"; # Git repository details
 PS1+="\n";
 PS1+="\[${white}\]\$ \[${reset}\]"; # `$` (and reset color)
-- 
cgit v1.2.3