This document provides an introduction to using the BASH shell in Linux, including some basic commands for navigation, file management, and editing. It outlines commands like pwd, ls, cd, echo, cat, and vim. It also discusses building BASH skills through learning flags, wildcards, and exploring built-in tools like man and alias. Examples are provided for navigating directories, listing files, creating directories and moving/deleting files.

1. CI1131 ICT Lecture Introduction to Operating Systems (2): the GNU/Linux BASH shell

5. What's in the root directory?

8. Example: apropos

9. Example: show processes [1]

10. Example: show processes [2]

11. Example: new file with echo

12. Example: directory listing

13. Example: permissions

15. Bash: find out more with man