§1.8.

Conventions

In this workbook, I will use the following conventions.

Terminal output

In the following example, I have opened an operating system terminal, and entered the command pwd to show the current directory (the output is /home/devel), then the command mkdir test to create a directory (there is no output), and finally ls to show that the directory has been created (the output is test):

$ pwd
/home/devel
$ mkdir test
$ ls
test
$

In other words, I use $ to denote the command prompt. [1]

If there is a lot of output, I may abbreviate using an elipsis (…​):

$ echo $PATH
...
$ pwd
/home/devel
$

Admonitions

Tip
Look out for tips like this: they have extra information which may help you.
Warning
Look out for warnings like this: it will help you avoid common mistakes or dangers.

1. On Windows your command prompt might be C:\>. The Windows equivalent to pwd is the command cd (alone with no additional parameters). The Windows equivalent to ls is dir. If you are using Windows PowerShell, both ls and pwd work.