diff --git a/docs/src/lecture/0-intro.md b/docs/src/lecture/0-intro.md index 2b2688371e4c375f234caf1a15d70b3cc765d4f3..68b12bb0a36c30124863e8403551891f121fd4b6 100644 --- a/docs/src/lecture/0-intro.md +++ b/docs/src/lecture/0-intro.md @@ -10,11 +10,10 @@ The Linux Shell is a command-line interface (CLI) used in Linux operating system ### Accessing the Shell on UNIX (+maxOS) - **Terminal:** Open the terminal application from your Linux desktop environment. - - -### Accessing the Shell on UNIX (+maxOS) +### Accessing the Shell on Windows - **Git Bash:** Has most of the common tools included. - Other options: PowerShell, WSL, ... + ### Basic Commands 1. **`pwd`** - Print Working Directory. Shows the current directory you are in.