doc: style fixes and links

This commit is contained in:
pancho horrillo
2019-12-13 15:08:02 +01:00
parent 08086ee66e
commit dea72cbe3a
10 changed files with 86 additions and 73 deletions
+7 -5
View File
@@ -16,7 +16,7 @@ I Need my Report!
**Junior**
Oh. That sounds... fun. OK, tell me about this report.
Oh. That sounds... fun. OK, tell me about this report.
**Senior**
@@ -184,11 +184,11 @@ I Need my Report!
**Senior**
There is a better way. You can make use of another neat ``bash`` feature:
**group commands**.
There is a better way. You can make use of another neat :command:`bash`
feature: `command grouping`_.
Group commands allows you to execute several commands treating the
group as one single command.
Command grouping allows you to execute several commands treating the group as
one single command.
You can use this way:
@@ -226,3 +226,5 @@ I Need my Report!
You know me. Whatever it takes to avoid writing reports ;-)
(both chuckle).
.. _command grouping: https://www.gnu.org/software/bash/manual/html_node/Command-Grouping.html