diff options
author | Junio C Hamano <gitster@pobox.com> | 2020-02-25 12:28:30 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-02-25 12:28:30 -0800 |
commit | 06e0f103c9c7a0c23134a623cac0cf3e13a03506 (patch) | |
tree | 2d3bbb9e5ec1241010b67525f71264f5d216c107 /config.txt | |
parent | 5b8e12304fd927a7c814c311596e86bc7b2a5d80 (diff) | |
download | git-htmldocs-06e0f103c9c7a0c23134a623cac0cf3e13a03506.tar.gz |
Autogenerated HTML docs for v2.25.1-377-g2d211
Diffstat (limited to 'config.txt')
-rw-r--r-- | config.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/config.txt b/config.txt index 83e7bba87..08b13ba72 100644 --- a/config.txt +++ b/config.txt @@ -263,7 +263,9 @@ color:: + The basic colors accepted are `normal`, `black`, `red`, `green`, `yellow`, `blue`, `magenta`, `cyan` and `white`. The first color given is the -foreground; the second is the background. +foreground; the second is the background. All the basic colors except +`normal` have a bright variant that can be speficied by prefixing the +color with `bright`, like `brightred`. + Colors may also be given as numbers between 0 and 255; these use ANSI 256-color mode (but note that not all terminals may support this). If |