summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
authorFrancis Rowe <fchmmr@minifree.lan>2015-10-29 14:16:39 (EDT)
committer Francis Rowe <fchmmr@minifree.lan>2015-10-29 14:16:39 (EDT)
commit35fcbddc01e0fbffd615c0f5a04107d95e5d2a01 (patch)
treeb21303fffed84974a799424e6007972699ad5202 /site
parent631ca0a2952ac78b0629c987bfdc55e08447cc5b (diff)
downloadlibreboot.org-35fcbddc01e0fbffd615c0f5a04107d95e5d2a01.zip
libreboot.org-35fcbddc01e0fbffd615c0f5a04107d95e5d2a01.tar.gz
libreboot.org-35fcbddc01e0fbffd615c0f5a04107d95e5d2a01.tar.bz2
git page: warn redgreen colour blind people about git diff colours
Diffstat (limited to 'site')
-rw-r--r--site/git/index.php3
1 files changed, 3 insertions, 0 deletions
diff --git a/site/git/index.php b/site/git/index.php
index 1d6f84f..e767e7c 100644
--- a/site/git/index.php
+++ b/site/git/index.php
@@ -135,6 +135,9 @@
$ <b>git config --global color.diff auto</b>
</p>
<p>
+ <b>NOTE: the above steps for colour make git use red/green font colours for showing diffs. If you are red/green colour-blind, please ignore the above steps. The default configuration in git is no-colour (all one colour, usually the default that your terminal uses).</b>
+ </p>
+ <p>
<?php echo gettext("Clone the git repository, and make your desired changes."); ?>
<?php echo gettext("You can make one or several commits (as many as you like)."); ?>
<?php echo gettext("Generally speaking, you should create separate commits on top of each other, for each kind of change."); ?>