diff --git a/docs/src/lecture/0-intro.md b/docs/src/lecture/0-intro.md index 75fd77956c39f3655a22cce1d74ad870f731d8ac..0972d88ed99623a223181154f240a151cd1176e5 100644 --- a/docs/src/lecture/0-intro.md +++ b/docs/src/lecture/0-intro.md @@ -11,6 +11,8 @@ The Linux Shell is a command-line interface (CLI) used in Linux operating system - **Terminal:** Open the terminal application from your Linux desktop environment. - **Keyboard Shortcut:** Often Ctrl+Alt+T. + + ### Accessing the Shell on UNIX (+maxOS) - **Git Bash:** Has most of the common tools included. - Other options: PowerShell, WSL, ... diff --git a/docs/src/lecture/figs/git-bash.png b/docs/src/lecture/figs/git-bash.png new file mode 100644 index 0000000000000000000000000000000000000000..3a272039d43bd7a6a934ad1e335d6eadbff305e3 Binary files /dev/null and b/docs/src/lecture/figs/git-bash.png differ