[PPL-devel] [GIT] ppl/w3ppl(master): Better explained how to check whether SSH connection to git.cs.unipr. it works.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: d28caceb2637b3d8128c2a2a05c55dab4c93cfe1
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=d28caceb2637b3d8128c2a2a05c55dab4c93cfe1

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Aug  2 22:59:35 2010 +0200

Better explained how to check whether SSH connection to git.cs.unipr.it works.

---

 htdocs/Download/Git.raw |   15 +++++++++++++--
 1 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw
index 24f4af4..273729b 100644
--- a/htdocs/Download/Git.raw
+++ b/htdocs/Download/Git.raw
@@ -149,8 +149,19 @@ issue the command
   <CODE>ssh git.cs.unipr.it -l myusername</CODE>
 </BLOCKQUOTE>
 <P>
-If this does not work there is no point in reading further:
-solve this problem first.
+If you have been granted full access to <CODE>git.cs.unipr.it</CODE>
+you should obtain a shell prompt.  Otherwise, if SSH connection works,
+you will get the following message
+<BLOCKQUOTE>
+<PRE>
+fatal: What do you think I am? A shell?
+Connection to git.cs.unipr.it closed.
+</PRE>
+</BLOCKQUOTE>
+In both cases (i.e., you obtain either a shell prompt or the message
+<CODE>What do you think I am? A shell?</CODE>)
+connection to <CODE>git.cs.unipr.it</CODE> via SSH works.
+Otherwise there is no point in reading further: solve this problem first.
 </P>
 
 <P>