summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2016-01-09 19:48:30 (EST)
committer Francis Rowe <info@gluglug.org.uk>2016-01-09 19:48:30 (EST)
commit5a1ba0e700028d67893e0c89ea0aa2abcd43b99b (patch)
tree182d06c9cb141d887680fa206b5ba42041356cf7 /site
parent16000edc8246eef667ba826f6e4c7970de6e5caa (diff)
downloadlibreboot.org-5a1ba0e700028d67893e0c89ea0aa2abcd43b99b.zip
libreboot.org-5a1ba0e700028d67893e0c89ea0aa2abcd43b99b.tar.gz
libreboot.org-5a1ba0e700028d67893e0c89ea0aa2abcd43b99b.tar.bz2
git page: make commands easier to copy/paste
Diffstat (limited to 'site')
-rw-r--r--site/git/index.php32
1 files changed, 16 insertions, 16 deletions
diff --git a/site/git/index.php b/site/git/index.php
index e99dd88..d091447 100644
--- a/site/git/index.php
+++ b/site/git/index.php
@@ -248,17 +248,17 @@
</p>
<p>
<?php echo gettext("Make sure that you configured git so that your name and email address appear in the commits that you create:"); ?><br/>
- $ <strong>git config --global user.name &quot;Your Name&quot;</strong><br/>
- $ <strong>git config --global user.email your@emailaddress.com</strong><br/>
+ <strong>git config --global user.name &quot;Your Name&quot;</strong><br/>
+ <strong>git config --global user.email your@emailaddress.com</strong><br/>
<strong>NOTE: you do not have to use your legal name; we don't care what name you use. Pseudonyms (alternative names) are OK. If you wish to be anonymous (no name), you can also use <em>Libreboot Contributor</em> as your name, and <em>noname@libreboot.org</em> as the email address. <em>We will happily accept anonymous contributions in the libreboot project.</em></strong>
</p>
<p>
<?php echo gettext("The following is also useful:"); ?><br/>
- $ <strong>git config --global core.editor nano</strong><br/>
- $ <strong>git config --global color.status auto</strong><br/>
- $ <strong>git config --global color.branch auto</strong><br/>
- $ <strong>git config --global color.interactive auto</strong><br/>
- $ <strong>git config --global color.diff auto</strong>
+ <strong>git config --global core.editor nano</strong><br/>
+ <strong>git config --global color.status auto</strong><br/>
+ <strong>git config --global color.branch auto</strong><br/>
+ <strong>git config --global color.interactive auto</strong><br/>
+ <strong>git config --global color.diff auto</strong>
</p>
<p>
<strong>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). If you are colour-blind, git can display in other colours; refer
@@ -271,23 +271,23 @@
</p>
<p>
When working with git, you will need your current working directory to be inside the <em>libreboot</em> directory that was just created.<br/>
- $ <strong>cd libreboot/</strong>
+ <strong>cd libreboot/</strong>
</p>
<p>
<?php echo gettext("Once you have made your change(s), you can use this to check the status:"); ?><br/>
- $ <strong>git status</strong>
+ <strong>git status</strong>
</p>
<p>
<?php echo gettext("The status command will show any untracked files that you have. Add them using <strong>git add path/to/file</strong>. You should also add any other files that are listed as modified in the git status. If there are deleted files in the git status, you can use <strong>git rm path/to/file</strong>. As long as you have added all the untracked files, it is generally easier to use:"); ?><br/>
- $ <strong>git commit -a</strong><br/>
+ <strong>git commit -a</strong><br/>
<?php echo gettext("(instead of <strong>git commit</strong>)"); ?>
</p>
<p>
<?php echo gettext("If you need to make a change to the current commit, you can do so with:"); ?><br/>
- $ <strong>git commit --amend</strong><br/>
+ <strong>git commit --amend</strong><br/>
<?php echo gettext("or:"); ?><br/>
- $ <strong>git commit -a --amend</strong>
+ <strong>git commit -a --amend</strong>
</p>
<p>
@@ -298,19 +298,19 @@
<p>
Check once more that everything you want is added. Use the <strong>git status</strong> command to check for untracked changes/files, and adapt accordingly.
Once you've committed everything, your changes will appear in a <em>diff</em> format, using this command:<br/>
- $ <strong>git show</strong><br/>
+ <strong>git show</strong><br/>
Use PgUp/PgDown to navigate the diff output. This uses the <em>less</em> utility, so all the features from that (e.g. keyword search) are also available.
</p>
<p>
<?php echo gettext("In your local git tree, you can use this to check your commits:"); ?><br/>
- $ <strong>git log</strong>
+ <strong>git log</strong>
</p>
<p>
<?php echo gettext("Shortened git logs showing the short commit ID and the commit title, plus info about what branch you are on, and where all your remotes/heads are:"); ?><br/>
- $ <strong>git config --global --add alias.lol &quot;log --graph --decorate --pretty=oneline --abbrev-commit --all&quot;</strong><br/>
+ <strong>git config --global --add alias.lol &quot;log --graph --decorate --pretty=oneline --abbrev-commit --all&quot;</strong><br/>
<?php echo gettext("From then on, you can use:"); ?><br/>
- $ <strong>git lol</strong><br/>
+ <strong>git lol</strong><br/>
<?php echo gettext("This is like <strong>git log</strong>, but it's much better and shows branches, etc."); ?>
</p>