From bb68bdf9fd08dcdcde1f44fa97e72291230917e8 Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Tue, 17 Sep 2019 17:39:07 +0200
Subject: [PATCH] Add troubleshooting step

---
 tools-setup.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools-setup.md b/tools-setup.md
index 87dee0c..b12c7e6 100644
--- a/tools-setup.md
+++ b/tools-setup.md
@@ -96,7 +96,8 @@ Run:
 ```shell
 code
 ```
-VSCode is correctly installed if this opens a window, you can then close this window.
+VSCode is correctly installed if this opens a window, you can then close this
+window. If the `code` command is not recognized, try restarting your computer.
 
 ## Step 8: Generate a public/private SSH key pair
 
-- 
GitLab