From f762856ead796efd7edc6b5697f338e49a081201 Mon Sep 17 00:00:00 2001
From: Kevin Pouget <kevin.pouget@imag.fr>
Date: Mon, 2 Jan 2017 14:22:05 +0100
Subject: [PATCH] fix home dir in help message

---
 home/init.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/home/init.sh b/home/init.sh
index 77bb07f..f7d4c11 100644
--- a/home/init.sh
+++ b/home/init.sh
@@ -20,8 +20,8 @@ then
   echo "       Please run docker as follows:"
   cat <<EOF
 
-HOST_DIR=$HOME/jcf_debug_data # create it first !
-docker run -it -v \$HOST_DIR:/home/jcf/host -e GROUPID=\$(uid -g) -e USERID=\$(uid -u) --cap-add sys_ptrace kpouget/tuto-gdb.py
+HOST_DIR=$HOME/gdb.py_data # create it first !
+docker run -it -v \$HOST_DIR:/home/gdb.py/host -e GROUPID=\$(uid -g) -e USERID=\$(uid -u) --cap-add sys_ptrace kpouget/tuto-gdb.py
 EOF
    exec bash
 fi
-- 
GitLab