remove double spacing

lts
Lyn Perrine 5 years ago
parent 7cc426de69
commit c2d5cb9f2a

@ -4,7 +4,7 @@ Appendix C Command line
The command line or cli is text interface to your computer and an alternative to graphical user interfaces like windows. It typically involves typing text commands into a terminal to perform some operation. Although not necessary to learn, it can be helpful. The terminal which can be launched from :kbd:`Ctorol + Alt + T` is a command line running in a window.
An exhaustive tutorial on the command line is a bit beyond the scope of the manual. The man command brings up the user manual and can be used to learn more about a commands use, its options and inputs. If you wanted to learn more about the df (disk free) command, enter the following into a command line:
An exhaustive tutorial on the command line is a bit beyond the scope of the manual. The man command brings up the user manual and can be used to learn more about a commands use, its options and inputs. If you wanted to learn more about the df (disk free) command, enter the following into a command line:
.. code::

Loading…
Cancel
Save