From 7145f0186ef0144a63ea7dd46b1a66f07fd5fbbf Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Wed, 18 Sep 2019 18:31:44 +0200
Subject: [PATCH] Terminal needs to be reopened

---
 week1/00-tools-setup.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/week1/00-tools-setup.md b/week1/00-tools-setup.md
index 7f4973b..5fab110 100644
--- a/week1/00-tools-setup.md
+++ b/week1/00-tools-setup.md
@@ -40,6 +40,8 @@ echo 'export JAVA_HOME="$(/usr/libexec/java_home -v 1.8)"' >> ~/.bash_profile
 echo 'export PATH="$JAVA_HOME/bin:$PATH"' >> ~/.bash_profile
 ```
 
+At this point, make sure to close the terminal and open a new one.
+
 ### On Windows
 
 [Download and run the OpenJDK 8 installer.](https://adoptopenjdk.net)
-- 
GitLab