From 00aaf4b3acc2393e18e6a3c5dddfb88ce641504b Mon Sep 17 00:00:00 2001
From: Johannes Keyser <johannes.keyser@uni-hamburg.de>
Date: Tue, 19 Nov 2024 08:39:33 +0100
Subject: [PATCH] add a missing $ in bash listing

---
 episodes/07-github.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/episodes/07-github.md b/episodes/07-github.md
index a42c269676..045f5e3152 100644
--- a/episodes/07-github.md
+++ b/episodes/07-github.md
@@ -162,7 +162,7 @@ computers to access your account.
 We will run the list command to check what key pairs already exist on your computer.
 
 ```bash
-ls -al ~/.ssh
+$ ls -al ~/.ssh
 ```
 
 Your output is going to look a little different depending on whether or not SSH has ever been set up on the computer you are using.