diff --git a/docs/src/lecture/0-intro.md b/docs/src/lecture/0-intro.md index f15b87c60e8f8de3da27de741a24f5664076b753..2b2688371e4c375f234caf1a15d70b3cc765d4f3 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.  @@ -118,6 +117,10 @@ Use `>` for block quotes.  +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 77a6eae8925697f3378da6c0b5b09000d7ae4b6b..dc456dc215f25d62d51883adda875e4e18cc8604 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. - + Source: https://merely-useful.tech/py-rse/figures/git-cmdline/git-remote.png