[PPL-devel] [GIT] ppl/w3ppl(master): More spurious colons (':') removed.
Roberto Bagnara
bagnara at cs.unipr.it
Sat Jul 25 15:21:54 CEST 2009
Module: ppl/w3ppl
Branch: master
Commit: ec7dd8a88554ac47f07a0afe225b8f1cd93e04dc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=ec7dd8a88554ac47f07a0afe225b8f1cd93e04dc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Jul 25 15:21:03 2009 +0200
More spurious colons (':') removed.
---
htdocs/Download/Git.raw | 10 +++++-----
1 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw
index 4ac7448..24f4af4 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>
@@ -298,7 +298,7 @@ cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout ppl
<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 checkout -b products origin/products
More information about the PPL-devel
mailing list