From 072f21465ca166a05a7bb6e660a5e909fda544f6 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Wed, 23 Jan 2019 19:10:40 +0100
Subject: [PATCH] change of instructions for ssh key

---
 configuration.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configuration.md b/configuration.md
index 0802b341..46a59d12 100644
--- a/configuration.md
+++ b/configuration.md
@@ -39,13 +39,13 @@ Check if you already have an SSH key:
 $ ls -al ~/.ssh
 ```
 <br>
-If there is a file with an extension `.pub`, you already have an SSH key.
+If there are 2 files with `id_rsa` in their name, you already have an SSH key.
 
 <div class="fragment">
 <br><br>
 If you don’t have yet an SSH key, you have to generate one:
 ```bash
-$ ssh-keygen -t rsa
+$ ssh-keygen -t rsa -b 4096
 ```
 
 <br>
-- 
GitLab