Add git clone

parent 233c3195
Pipeline #499 passed with stage
in 44 seconds
......@@ -6,9 +6,9 @@
<p>More repositories, on different computers,<br/>
can share the same project.</p>
can share the same project</p>
<p class="fragment">Git provides the tools to keep<br/>
these repositories synchronized with one another.</p>
these repositories synchronized with another one</p>
......@@ -127,4 +127,22 @@ origin https&colon;// (push)</code></pre>
solve the conflicts and then do again the <b>push</b> operation.</p>
<small class="fragment">As a best practice, do a <b>pull</b> operation ever before resuming to work over a project.</small>
<h3>If we want to download a remote repo...</h3>
<p class="fragment">We can do it with the previous commands</p>
<pre class="fragment"><code class="lang-sh">mkdir {repo_name}
cd {repo_name}
git init
git remote add origin {repo_url}
git pull</code></pre>
<p class="fragment">...or, also we can use <b>git clone</b></p>
<pre class="fragment"><code class="lang-sh">git clone {repo_url}</code></pre>
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment