Le terminal et premiers pas avec Git
Si vous travaillez avec un cartable numérique, démarrez sous Linux.
Si vous travaillez avec votre ordinateur personnel, vous pouvez soit travailler dans la machine virtuelle, soit dans votre système d’exploitation. Dans un cas comme dans l’autre, nous allons installer des nouveaux logiciels sur votre ordinateur, il vous faudra un minimum de réseau et d’espace disque.
Le terminal
Nous allons commencer par une prise en main du terminal de votre système.
Pour les Windows : si ce n’est pas déjà fait, installez l’émulateur de terminal PowerShell, que vous pouvez télécharger ici :
- version pour Windows 8,
- la version pour Windows Vista ou 7, si je comprends bien,
- la version pour Windows XP,
- autres versions.
Les utilisateurs Linux et Mac ont déjà un terminal installé, trouvez
le raccourci et lancez-le. La majorité des Ubuntu fournit aussi le
raccourci clavier Ctrl-Alt-T
.
Dans les questions qui suivent, aidez-vous avec un explorateur graphique de fichiers pour vous repérer dans l’arborescence.
-
Découvrez ce que font les commandes
pwd
,ls
etfkggfejedof
. -
Des commandes avec paramètres, maintenant, tapez
ls . ls * ls .. ls / ls Bureau ls sdfarfqwe234
Expliquer quels fichiers sont affichés par chacune de ces commandes.
-
Utilisez les flèches haut et bas pour rappeler des anciennes commandes.
-
Les bons émulateurs de terminal supportent l’autocompletion. Tapez
pw
, suivi de la touche tab une, deux, trois fois. Tapezls Bur
suivi de la touche tab, completez jusqu’à ce que le choix soit unique.
-
Les commandes
mkdir
etrmdir
créent et détruisent un dossier vide. Testez-les. -
Créez un dossier nommé
TD3
. Tapez les commandes (vous pouvez vous aider avec l’autocompletion)cd TD3 pwd touch fichier-vide ls ls ../TD3
-
Lancez un éditeur de texte. Sous Windows, tapez la commande
notepad
. Sous Linux tapez le nom d’un éditeur de texte présent sur votre système, par exemplegeany
. Sous Mac, tapezTextEdit
. -
Écrivez quelque ligne dans l’éditeur de texte, et sauvegardez sous le nom
test.txt
. -
Revenez au terminal, tapez
cat test.txt
-
(Uniquement sous Mac/Linux) Tapez
less text.txt
Utilisez la touche
q
pour sortir. -
Tapez
cd .. pwd
-
Essayez d’effacer le dossier
TD3
. Que se passe-t-til ? -
Tapez
rm TD3/* ls TD3
-
Effacez le dossier
TD3
.
Synthétisez ce que vous avez appris : que font les commandes ls
,
cd
, pwd
, rm
, mkdir
, rmdir
, cat
, less
?
Git
Nous pouvons maintenant passer à la découverte de Git. Pour cela, nous devons commencer par l’installer. N’oubliez pas de créer votre compte GitHub, si ce n’est pas déjà fait.
Windows
Installer msysGit : https://msysgit.github.io/.
Dans un cas comme dans l’autre, lorsque l’installeur vous le propose, choisissez les options :
- Run Git from the Windows command prompt,
- Check out Windows style, commit Linux style line endings.
L’installation inclut un émulateur de terminal appelé Git Bash, similaire à PowerShell, mais avec un mode d’autocompletion plus adapté à Git.
Alternativement, vous pouvez installer le client Git de GitHub, téléchargeable ici : http://windows.github.com (uniquement pour Windows 7 ou plus). msysGit sera installé avec.
Mac
Le plus simple c’est d’installer le client Git de GitHub, téléchargeable ici : http://mac.github.com.
Alternativement, vous pouvez taper git
dans le terminal, et l’OS
vous proposera d’installer Git s’il n’est pas déjà présent.
Linux et VM
Git est déjà installé sur les cartables numériques, vous pouvez sauter cette étape dans ce cas. Pour les autres Linux, on installera la version contenue dans les paquets standards.
Sous Ubuntu, Debian et similaires, taper dans un terminal
sudo apt-get install git git-gui gitk
le mot de passe utilisateur des VM est user.
Découverte de Git
Dans ce TD nous allons utiliser Git à travers le terminal. Si vous avez installé un client graphique, n’hésitez pas à découvrir comment appliquer les mêmes commandes dans celui-ci. Sous Windows, PowerShell ou Git Bash peuvent être utilisé indifféremment, mais le deuxième se révélera plus pratique si vous avez pris l’habitude d’utiliser la touche tab pour compléter.
-
Tapez les commandes
git git help
-
Tapez
git help init
et lisez la documentation (touche
q
pour sortir). -
Créez un dossier, entrez dans le dossier (commande
cd
), puis initialisez-le pour Git avecgit init
. -
Créez deux fichiers de texte nommés
a.txt
etb.txt
. -
Testez les commandes
git status git diff git add a.txt git status git commit -m "Premier commit" git status git log --stat
-
Créez un deuxième commit contenant le fichier
b.txt
. Lisez à nouveau la sortie degit status
et degit log
. -
Tapez
git rm a.txt ls git status
puis commitez le changement. Lisez le log.
Travailler avec une copie distante
Connectez-vous sur GitHub, puis visitez ce lien : https://github.com/defeo/in202.github.io/fork. GitHub va prendre quelques secondes pour vous en créer une copie personnelle.
Lisez le fichier de README, qui s’affiche dans le répertoire. Dans les
réglages (https://github.com/moi/in202.github.io/settings, où vous
aurez le soin de remplacer moi
par votre nom d’utilisateur),
renommez le répertoire en moi.github.io
, en remplaçant moi
par
votre nom d’utilisateur.
Maintenant créez une copie locale du répertoire avec
git clone https://github.com/moi/moi.github.io.git
-
Dans l’interface web de GitHub, éditez le fichier
README.md
, et commitez les changements. -
Tirez les changement dans votre copie locale du répertoire :
cd moi.github.io git status git log git pull git status git log
-
Modifiez le fichier
README.md
sur votre ordinateur, commitez les changements, puis poussez vos changements sur GitHub :git status git push
-
Faites encore un changement à
README.md
dans l’interface de GitHub. Commitez. Ne tirez pas encore. -
Faites un changement à
index.html
dans votre copie locale. Commitez. Essayer de pousser, que se passe-t-il ? -
Tirez, puis lisez le log avec
git log --graph
Que s’est-il passé ? Poussez maintenant.
-
Analysez le même log avec un client graphique : tapez la commande
gitk
dans Mac/Linux, ougitk.cmd
dans Windows.
D’autres choix de client graphique s’offrent à vous :
-
L’interface web de GitHub, à l’adresse https://github.com/moi/moi.github.io/network.
-
Le client multi-plateforme git cola.
Ma page personnelle
Visitez l’URL http://moi.github.io/ (remplacez moi
par votre nom
d’utilisateur, comme d’habitude). Cette page web est la votre, vous
pouvez en disposer comme vous le souhaitez.
-
Reprenez le travail du TD passé, et faites-en votre page web personnelle.
-
Validez votre page HTML à l’aide du validateur du W3C : http://validator.w3.org/. Renseignez l’adresse web de votre page dans le champs Address et cliquez Check. Cet outil vous donnera la liste des erreurs de syntaxe HTML de votre document. Corrigez votre page jusqu’à ne plus avoir d’erreurs (quelques warnings sont acceptables).
Votre travail sera noté, vous avez jusqu’au jeudi 19 février à minuit pour le compléter.