From f87198806b9f0d7b94955f2c933b22668163f0bd Mon Sep 17 00:00:00 2001
From: Lisanna Dettwyler <lisanna@galois.com>
Date: Sat, 12 Jun 2021 11:55:38 +0000
Subject: [PATCH] make message more obvious

---
 .gitpod.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index e76c8519..1d74868d 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -20,6 +20,8 @@ tasks:
       ssh-keygen -q -t rsa -N '' -f ~/.ssh/id_rsa
       echo
       SSH_KEY=~/.ssh/id_rsa.$(basename $(gp url))
+      echo "Paste the below script into your local shell to connect."
+      echo "vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv"
       echo "cat <<EOF >$SSH_KEY"
       cat ~/.ssh/id_rsa
       echo "EOF"
@@ -33,8 +35,8 @@ tasks:
       echo "ssh \\"
       echo "  -o ProxyCommand='chisel client $(gp url 8080) stdio:%h:%p' \\"
       echo "  gitpod@localhost -p 2222"
-      echo
-      echo "To connect from your local machine, paste the above script into your local shell."
+      echo "^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^"
+      echo "Paste the above script into your local shell to connect."
 ports:
   - port: 8080
   - port: 2222