From f5f5bb1244c98654a7ff4bb63190033271f56d7c Mon Sep 17 00:00:00 2001
From: Joan Sola <jsola@iri.upc.edu>
Date: Wed, 27 Jul 2016 16:22:47 +0200
Subject: [PATCH] improve readme
---
README.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/README.md b/README.md
index d327e1b69..476aab2d1 100644
--- a/README.md
+++ b/README.md
@@ -188,7 +188,7 @@ Proceed as follows:
source ~/.bash_profile // or ~/.bashrc, of course
````
- 2. If you are using Eclipse or other GUIs and you want this environment variable to be accessed by them, edit the file `/etc/environment` and add this line:
+ 2. If you are using Eclipse or other GUIs and you want this environment variable to be accessed by them, edit the file `/etc/environment` (you need to use `sudo`) and add this line:
`WOLF_ROOT="<your wolf path>" # e.g. /home/jsola/dev/wolf`
--
GitLab