improve markdown

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

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