Cloner et lire le cours

Une fois que vous avez fait toutes les installations, la première chose que l’on va faire, c’est :

de cloner le cours, et
de s’assurer que vous pouvez lire les notebooks localement sur votre ordi

C’est intéressant, d’abord pour vérifier que tout est bien en place (ce n’est pas grave si on ne vérifie pas forcément tout), et ce sera surtout utile pour le prochain cours puisque c’est comme cela que vous serez amené à travailler.

Cloner le cours

Trouver la bonne URL

À ce stade vous pouvez naviguer jusqu’au cours; pour cela, repartez de l’organisation qui va bien :

Dans cette page, on va aller copier l’URL du cours; pour cela suivez les instructions ci-dessous.

une fois que vous aurez cliqué sur l’icône “copier-coller” (étape 3),
vous aurez copié dans votre presse-papier la chaine git@github.com:ue12-p25/intro.git
on va s’en servir tout de suite…

cloner le dépôt du cours

et maintenant vous allez pouvoir cloner, c’est-à-dire copier, le dépôt du cours
il vous suffit pour ça de faire (lisez bien jusqu’au bout avant de copier-coller)

cd
cd cours-info
git clone # ... et ici vous collez le presse-papier
          # ... ce qui donne
git clone git@github.com:ue12-p25/intro.git

un autre nom ?

pourquoi ce nom intro pour le dossier clone ? il vient du intro.git que vous avez collé depuis github
pour choisir un autre nom que intro pour le dossier contenant le clone, faites par exemple

# pour que le clone se mette dans le dossier `installations`

git clone https://github.com/ue12-p25/intro installations

si ça échoue ?

si vous n’arrivez pas à cloner le repo, il y a pas mal de documentation sur github, je vous propose de commencer avec ceci pour vérifier votre setup SSH

on vérifie le clone

pour vérifier que tout s’est bien passé :

# aller dans le nouveau dossier clone
cd intro

# le répertoire est rempli avec la dernière version du cours
cat README.md

suivre les évolutions futures

enfin pour terminer cette micro-introduction:
imaginez que demain le prof publie des modifications dans ce dépôt

alors pour mettre à jour votre dépôt local, il vous suffira de faire

# toujours dans le même dossier bien sûr

git pull

qui va, c’est magique, fusionner vos éventuelles modifications avec celles du prof !
rassurez-vous, on creusera tout ceci dans le cours dédié à git dans quelques semaines

lire les notebooks

le git clone a donc créé un dossier qui s’appelle intro dans lequel vous pouvez vous déplacer en faisant

# au cas où vous n'y seriez pas déjà
cd ~/cours-info

cd intro

et une fois dans le bon dossier vous tapez

jupyter lab

à ce stade on se contente de vérifier que cette commande ouvre un onglet dans votre navigateur web
vous trouverez dans ce notebook plus de détails sur comment utiliser Jupyter

la checklist

s’agissant de cette introduction, ça peut valoir la peine de consacrer 10 minutes à visionner une vidéo qui montre comment tous ces outils s’utilisent en vrai; vous la trouverez, ainsi qu’une liste de compétences, dans ce notebook