From 3ec5769e54aaf23c07ef7beca180db698306d808 Mon Sep 17 00:00:00 2001
From: Stefan Crain <stefancrain@gmail.com>
Date: Tue, 17 Jun 2014 11:34:40 -0400
Subject: [PATCH] .bash_prompt: Avoid double-escaping ANSI codes

Fixes #399 and closes #402.
---
 .bash_prompt | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/.bash_prompt b/.bash_prompt
index 5322c021047..28d36f181ac 100644
--- a/.bash_prompt
+++ b/.bash_prompt
@@ -91,30 +91,30 @@ fi;
 
 # Highlight the user name when logged in as root.
 if [[ "${USER}" == "root" ]]; then
-	userStyle="\[${red}\]";
+	userStyle="${red}";
 else
-	userStyle="\[${orange}\]";
+	userStyle="${orange}";
 fi;
 
 # Highlight the hostname when connected via SSH.
 if [[ "${SSH_TTY}" ]]; then
-	hostStyle="\[${bold}${red}\]";
+	hostStyle="${bold}${red}";
 else
-	hostStyle="\[${yellow}\]";
+	hostStyle="${yellow}";
 fi;
 
 # Set the terminal title to the current working directory.
-PS1="\[\033]0;\w\007\]";
-PS1+="\[${bold}\]\n"; # newline
-PS1+="\[${userStyle}\]\u"; # username
-PS1+="\[${white}\] at ";
-PS1+="\[${hostStyle}\]\h"; # host
-PS1+="\[${white}\] in ";
-PS1+="\[${green}\]\w"; # working directory
+PS1="\033]0;\w\007";
+PS1+="${bold}\n"; # newline
+PS1+="${userStyle}\u"; # username
+PS1+="${white} at ";
+PS1+="${hostStyle}\h"; # host
+PS1+="${white} in ";
+PS1+="${green}\w"; # working directory
 PS1+="\$(prompt_git \"${white} on ${violet}\")"; # Git repository details
 PS1+="\n";
-PS1+="\[${white}\]\$ \[${reset}\]"; # `$` (and reset color)
+PS1+="${white}\$ ${reset}"; # `$` (and reset color)
 export PS1;
 
-PS2="\[${yellow}\]→ \[${reset}\]";
+PS2="${yellow}→ ${reset}";
 export PS2;