## Intro

 1. We show commands starting with ‹$›: this is the prompt. Do not type it.
 2. To look at this text, connect to ‹aisa.fi.muni.cz› and type:
    
        $ pb152 update
        $ cd ~/pb152/00
        $ cat intro.txt

 3. If you see this in your terminal, you got it right.
 4. One of the most useful UNIX commands ever is ‹man›.
 5. To find more about ‹man›, type
    
        $ man man

 6. You will get a «pager», which allows you to read longer text in a
    fixed-size terminal. You can use arrow keys on your keyboard, or pgup and
    pgdown to move about. To learn more about the pager, type
    
        $ man less

 7. Manual pages are divided into sections. First comes a very short
    description of the command (or C function), and then a Synopsis: how is the
    command (function, etc.) written when you want to use it. Usually, all
    options are listed (there can be quite a few!).
 8. After Synopsis, you usually get a ‘Description’ which explains what the
    command does in more detail.
 9. You are not forbidden from using Google, but ‹man› is often more efficient.

10. If you want to learn more about ‹cat›, you can type:
    
        $ man cat

11. Otherwise, you can continue on to:
    
        $ cat grading.txt
