From c9a23d73a9ff4508387cbda62dd3218e230d79c6 Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Wed, 12 Jul 2017 10:45:30 +0200
Subject: [PATCH] cleaner summary of command
---
presentation.tex | 26 ++++++++++++++++++++++++--
1 file changed, 24 insertions(+), 2 deletions(-)
diff --git a/presentation.tex b/presentation.tex
index 07a3f63..9c7564b 100644
--- a/presentation.tex
+++ b/presentation.tex
@@ -1326,13 +1326,35 @@ To ../delta
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Summary}
-\begin{frame}
+\begin{frame}[fragile]
\frametitle{Summary so far}
+create git repository:\\[-2.5em]
\begin{shcode}
git init
+git clone <url> <folder>
+\end{shcode}
+\vspace{-2.5em}
+
+add/rm file to the staging area:\\[-2.5em]
+\begin{shcode}
git add <file> / git rm <file>
+\end{shcode}
+\vspace{-2.5em}
+
+add staging area to git graph:\\[-2.5em]
+\begin{shcode}
git commit -m "<commit message>"
+\end{shcode}
+\vspace{-2.5em}
+
+add connection to a remote repository:\\[-2.5em]
+\begin{shcode}
git remote add <name> <url>
+\end{shcode}
+\vspace{-2.5em}
+
+add/get modification to/from a remote repository:\\[-2.5em]
+\begin{shcode}
git push <remote_name> <remote_branch>
git fetch <remote_name> <remote_branch>
git merge <ref_name>
@@ -1342,7 +1364,7 @@ git merge <ref_name>
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{To go further}
-\begin{frame}
+\begin{frame}[fragile]
\frametitle{To go further...}
Additional commands
\begin{shcode}
--
GitLab