From 9191a501b189dfacd89b55057f567b0e0f2a3f51 Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Wed, 24 Feb 2021 13:21:50 +0100
Subject: [PATCH] Make sure PATH is correctly set on Linux after cs setup

Coursier sets the PATH by editing .profile/.bash_profile/.zprofile, but
while these files get sourced on startup by the default Terminal app on
macOS, other terminals don't behave that way, especially on Linux where
they usually are only sourced when logging in.
---
 labs/tools-setup.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/labs/tools-setup.md b/labs/tools-setup.md
index ab8682c..86989a8 100644
--- a/labs/tools-setup.md
+++ b/labs/tools-setup.md
@@ -32,6 +32,8 @@ chmod +x cs
 ./cs setup -y --jvm 8 --apps cs,sbt
 ```
 
+Please reboot after this point.
+
 ### On macOS
 
 First, install the Homebrew package manager:
-- 
GitLab