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

Author: Roberto Bagnara bagnara@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>