From e03708d1afeb755424f059fcce03937c1dcb1669 Mon Sep 17 00:00:00 2001
From: Noah Pombas <noah.pombas@psi.ch>
Date: Fri, 5 Dec 2025 10:16:05 +0100
Subject: [PATCH] Added $ for shell commands

---
 docs/guides/git.md | 36 ++++++++++++++++++------------------
 1 file changed, 18 insertions(+), 18 deletions(-)

diff --git a/docs/guides/git.md b/docs/guides/git.md
index 10b37eb..5145679 100644
--- a/docs/guides/git.md
+++ b/docs/guides/git.md
@@ -7,11 +7,11 @@
 Copy an existing remote repository to your local machine.
 
 ```shell
-git clone <repository_url>
+$ git clone <repository_url>
 ```
 Example:  
 ```shell
-git clone https://github.com/user/repo.git
+$ git clone https://github.com/user/repo.git
 ```
 
 ---
@@ -20,11 +20,11 @@ git clone https://github.com/user/repo.git
 Fetch and merge changes from a remote repository to your local branch.
 
 ```shell
-git pull <remote> <branch>
+$ git pull <remote> <branch>
 ```
 Example:  
 ```shell
-git pull origin main
+$ git pull origin main
 ```
 
 ---
@@ -33,11 +33,11 @@ git pull origin main
 Upload local commits to a remote repository.
 
 ```shell
-git push <remote> <branch>
+$ git push <remote> <branch>
 ```
 Example:  
 ```shell
-git push origin main
+$ git push origin main
 ```
 
 ---
@@ -46,11 +46,11 @@ git push origin main
 Reapply commits on top of another base tip.
 
 ```shell
-git rebase <branch>
+$ git rebase <branch>
 ```
 Example:  
 ```shell
-git rebase main
+$ git rebase main
 ```
 
 ---
@@ -59,7 +59,7 @@ git rebase main
 Create a new Git repository in the current directory.
 
 ```shell
-git init
+$ git init
 ```
 
 ---
@@ -68,17 +68,17 @@ git init
 
 - **Add a remote:**  
 ```shell
-git remote add <name> <url>
+$ git remote add <name> <url>
 ```
 
 - **Set/Update remote URL:**  
 ```shell
-git remote set-url <name> <url>
+$ git remote set-url <name> <url>
 ```
 
 - **Remove a remote (e.g., origin):**  
 ```shell
-git remote remove origin
+$ git remote remove origin
 ```
 
 ---
@@ -87,7 +87,7 @@ git remote remove origin
 Sign your commit with a GPG key.
 
 ```shell
-git commit -S -m "Your commit message"
+$ git commit -S -m "Your commit message"
 ```
 - `-S` → sign commit with GPG key  
 - `-m` → commit message
@@ -97,22 +97,22 @@ git commit -S -m "Your commit message"
 ## Notes
 - To check the configured remotes:  
 ```shell
-git remote -v
+$ git remote -v
 ```
 - To see commit history:  
 ```shell
 # Those options only add Styling,
-git log --oneline --graph --all --decorate
+$ git log --oneline --graph --all --decorate
 
 # Plain Text Log,
-git log 
+$ git log 
 
 ```
 
 - Stage changes before committing:  
 ```shell
-git add <file>
-git add .  # stage all changes
+$ git add <file>
+$ git add .  # stage all changes
 ```
 
 --- 
\ No newline at end of file