diff options
author | Hugues Hiegel <hugues.hiegel@sagem.com> | 2008-04-21 14:55:50 +0200 |
---|---|---|
committer | Hugues Hiegel <hugues.hiegel@sagem.com> | 2008-04-24 17:26:08 +0200 |
commit | e2917c43cf5b943d13b7417ddcb8d967fa3e90c1 (patch) | |
tree | ed623e0c0e1deb447610b3d2042b803c3e49f3e1 | |
parent | 0c9beb3e51695b008bc877ae6c68c4ba35cb7e94 (diff) |
Un bug de gnome-terminal qui n'aime pas trop les couleurs "bizarres"...
-rw-r--r-- | 11_Colors.zsh | 2 |
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) |