From 02e2c23e324f36c3680456e0119753ec89856d97 Mon Sep 17 00:00:00 2001
From: Lambert Theisen <lambert.theisen@rwth-aachen.de>
Date: Tue, 21 Nov 2023 17:15:47 +0100
Subject: [PATCH] improve markdown

---
 docs/src/lecture/0-intro.md | 5 ++++-
 docs/src/lecture/1-git.md   | 2 +-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/docs/src/lecture/0-intro.md b/docs/src/lecture/0-intro.md
index f15b87c..2b26883 100644
--- a/docs/src/lecture/0-intro.md
+++ b/docs/src/lecture/0-intro.md
@@ -9,7 +9,6 @@ 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.
-- **Keyboard Shortcut:** Often Ctrl+Alt+T.
 
 ![Alt text](./figs/git-bash.png)
 
@@ -118,6 +117,10 @@ Use `>` for block quotes.
 
 ![Alt text](./figs/vscode-julia.png)
 
+Source: VSCode docu
+
 ## Further Reading/References
 
 - CLick PDF slides in https://thsn.dev/blog/publishing-reproducable-numerics
+- https://aeturrell.github.io/coding-for-economists/wrkflow-version-control.html
+- https://merely-useful.tech/py-rse/git-cmdline.html
diff --git a/docs/src/lecture/1-git.md b/docs/src/lecture/1-git.md
index 77a6eae..dc456dc 100644
--- a/docs/src/lecture/1-git.md
+++ b/docs/src/lecture/1-git.md
@@ -20,7 +20,7 @@ Git is a distributed version control system designed to handle everything from s
 - `git push`: Pushes commits to a remote repository.
 - `git pull`: Fetches and merges changes from a remote repository.
 
-![Alt text](./figs//git-remote.png)
+![Alt text](./figs/git-remote.png)
 
 Source: https://merely-useful.tech/py-rse/figures/git-cmdline/git-remote.png
 
-- 
GitLab