From 88864f2e5ef6a022309e071667c9c7261edb3b0e Mon Sep 17 00:00:00 2001 From: Lambert Theisen <lambert.theisen@rwth-aachen.de> Date: Tue, 21 Nov 2023 18:29:52 +0100 Subject: [PATCH] Fix intro with windows --- docs/src/lecture/0-intro.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/docs/src/lecture/0-intro.md b/docs/src/lecture/0-intro.md index 2b26883..68b12bb 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. -- GitLab