summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHugues Hiegel <hugues.hiegel@sagem.com>2008-04-21 14:55:50 +0200
committerHugues Hiegel <hugues.hiegel@sagem.com>2008-04-24 17:26:08 +0200
commite2917c43cf5b943d13b7417ddcb8d967fa3e90c1 (patch)
treeed623e0c0e1deb447610b3d2042b803c3e49f3e1
parent0c9beb3e51695b008bc877ae6c68c4ba35cb7e94 (diff)
Un bug de gnome-terminal qui n'aime pas trop les couleurs "bizarres"...
-rw-r--r--11_Colors.zsh2
1 files changed, 1 insertions, 1 deletions
diff --git a/11_Colors.zsh b/11_Colors.zsh
index 008c218..9fcab01 100644
--- a/11_Colors.zsh
+++ b/11_Colors.zsh
@@ -51,7 +51,7 @@ set_prompt_colors ()
#prompt_colors[hist]="$color[none]" # history number
prompt_colors[arob]="$color[bold];$my_generic" # <login>@<hostname>
prompt_colors[dies]="$my_generic" # the bottom-end of the prompt
- prompt_colors[doubledot]="$color[none];" # separates pwd from git-branch
+ prompt_colors[doubledot]="$color[none]" # separates pwd from git-branch
#prompt_colors[paren]="$color[cyan]" # parenthesis (around tty)
prompt_colors[bar]="$my_generic;$color[bold]" # horizontal bar
prompt_colors[braces]="$prompt_colors[bar]" # braces (around date)