Commit e7b71c78 authored by Grégory Mounié's avatar Grégory Mounié
Browse files

typo do

parent a681c25a
......@@ -85,7 +85,7 @@ open an account, and use \url{https://gitlab.com}.
\begin{description}
\item[Git newbies] group yourself in small teams of at least two
people, with two computers close to each other.
\item[Git experts] group yourself in small teams and do alone some
\item[Git experts] group yourself in small teams and do some
others practical exercises of the web page of this lecture.
\end{description}
\subsection{Team organization}
......@@ -469,7 +469,7 @@ Merge the remote changes (e.g. 'git pull') before pushing again. See the
{\em Alice} has first to merge {\em Bob} modifications already published.
{\em Alice} do the merging of the version:
{\em Alice} does the merging of the version:
\begin{minted}{console}
alice@laptop1$ git pull
\end{minted}
......@@ -672,7 +672,7 @@ Untracked files:
nothing added to commit but untracked files present (use "git add" to track)
\end{verbatim}
If {\em Bob} do not want to track the file in the repository, he
If {\em Bob} doesn't want to track the file in the repository, he
should register in the repository that this file should be ignored.
He adds the file name into a file \texttt{.gitignore} in the same
directory.
......@@ -681,15 +681,15 @@ directory.
\begin{minted}{console}
bob@laptop2$ emacs .gitignore
\end{minted}
add the line:
adds the line:
\begin{verbatim}
temp-file.txt
\end{verbatim}
save and quit.
saves, and quits.
{\em Bob} do again the command:
{\em Bob} does again the command:
\begin{minted}{bash}
bob@laptop2$ git status
\end{minted}
......
Supports Markdown
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