[PPL-devel] [GIT] ppl/w3ppl(master): A few typos in the instructions for the use of git fixed.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at comp.leeds.ac.uk>
Date:   Mon Jun 22 15:32:25 2009 +0100

A few typos in the instructions for the use of git fixed.

---

 htdocs/Download/Git.raw |   24 ++++++++++++------------
 1 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw
index 24f4af4..3ec3b90 100644
--- a/htdocs/Download/Git.raw
+++ b/htdocs/Download/Git.raw
@@ -55,7 +55,7 @@ In order to clone the repository of the PPL sources,
 issue the command
 </P>
 <BLOCKQUOTE>
-  <CODE>git clone git://git.cs.unipr.it/ppl/ppl.git</CODE>
+  <CODE>git clone git://git.cs.unipr.it:/ppl/ppl.git</CODE>
 </BLOCKQUOTE>
 <P>
 This will put your clone into the <CODE>ppl</CODE> directory.
@@ -63,7 +63,7 @@ If you want the directory to be named differently you can specify
 the name as in
 </P>
 <BLOCKQUOTE>
-  <CODE>git clone git://git.cs.unipr.it/ppl/ppl.git my_ppl_repo</CODE>
+  <CODE>git clone git://git.cs.unipr.it:/ppl/ppl.git my_ppl_repo</CODE>
 </BLOCKQUOTE>
 
 <P>
@@ -72,7 +72,7 @@ history.  If you only want the latest revision of anything, use the
 following command instead:
 </P>
 <BLOCKQUOTE>
-  <CODE>git clone --depth 1 git://git.cs.unipr.it/ppl/ppl.git my_ppl_no_history_repo</CODE>
+  <CODE>git clone --depth 1 git://git.cs.unipr.it:/ppl/ppl.git my_ppl_no_history_repo</CODE>
 </BLOCKQUOTE>
 
 <P>
@@ -92,7 +92,7 @@ Another repository you may be interested in is the one containing our
 web pages.  To fully clone it, do, e.g.,
 </P>
 <BLOCKQUOTE>
-  <CODE>git clone git://git.cs.unipr.it/ppl/w3ppl.git</CODE>
+  <CODE>git clone git://git.cs.unipr.it:/ppl/w3ppl.git</CODE>
 </BLOCKQUOTE>
 
 <P>
@@ -101,10 +101,10 @@ world via HTTP (possibly with the intermediation of a proxy), you can use
 the alternative commands
 </P>
 <BLOCKQUOTE>
-  <CODE>git clone http://www.cs.unipr.it/git/ppl/ppl.git</CODE>
+  <CODE>git clone http://www.cs.unipr.it:/git/ppl/ppl.git</CODE>
 </BLOCKQUOTE>
 <BLOCKQUOTE>
-  <CODE>git clone http://www.cs.unipr.it/git/ppl/w3ppl.git</CODE>
+  <CODE>git clone http://www.cs.unipr.it:/git/ppl/w3ppl.git</CODE>
 </BLOCKQUOTE>
 
 
@@ -157,10 +157,10 @@ solve this problem first.
 Issue the command
 </P>
 <BLOCKQUOTE>
-  <CODE>git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git ppl</CODE>
+  <CODE>git clone ssh://myusername@git.cs.unipr.it:/git/ppl/ppl.git ppl</CODE>
 </BLOCKQUOTE>
 <BLOCKQUOTE>
-  <CODE>git clone ssh://myusername@git.cs.unipr.it/git/ppl/w3ppl.git w3ppl</CODE>
+  <CODE>git clone ssh://myusername@git.cs.unipr.it:/git/ppl/w3ppl.git w3ppl</CODE>
 </BLOCKQUOTE>
 <P>
 to clone the PPL source or the PPL web repositories, respectively.
@@ -170,7 +170,7 @@ to clone the PPL source or the PPL web repositories, respectively.
 After the initial checkout,
 you can change into one of the project's directories and execute
 most Git commands omitting
-the <CODE>ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git</CODE> argument.
+the <CODE>ssh://myusername@git.cs.unipr.it:/git/ppl/ppl.git</CODE> argument.
 For example, whenever you want to merge with the latest code changes,
 <CODE>cd</CODE> into your <CODE>ppl</CODE> directory and issue
 </P>
@@ -292,15 +292,15 @@ basic CVS commands and their Git counterparts.
 <PRE>
 cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout ppl
 |
-+---> git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git
++---> git clone ssh://myusername@git.cs.unipr.it:/git/ppl/ppl.git
 </PRE>
 
 
 <H4>Checkout of a branch vs Cloning of the master branch + Creation of a local branch tracking a remote one</H4>
 <PRE>
-cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout -r products ppl
+cvs -d ssh://myusername@git.cs.unipr.it:/cvs/ppl checkout -r products ppl
 |
-+---> git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git
++---> git clone ssh://myusername@git.cs.unipr.it:/git/ppl/ppl.git
       git checkout -b products origin/products
 </PRE>