Versioning avec Git & GitHub · Étape 02

Installe, configure et initialise Git

Vérifie l’outil, configure une identité adaptée au contexte et initialise un dépôt avec une branche principale explicite.

Durée indicative · ~1 h 10Niveau débutantPrérequis conseillé · Leçon 1 — Git, GitHub et les trois zonesPratique · TP
L’idée reçue

« Git utilise automatiquement le compte GitHub connecté dans le navigateur. »

L’auteur d’un commit provient de la configuration Git locale. Cette identité peut être différente du compte de la plateforme distante.

01Vérifie l’installation

git --version
command -v git
git help -a | head

La commande doit être disponible dans le terminal utilisé pour travailler. Une extension d’éditeur ne remplace pas nécessairement le client Git du système.

02Comprends les scopes

git config --system --list --show-origin 2>/dev/null || true
git config --global --list --show-origin
git config --local --list --show-origin
Scope
Portée
Usage
system
machine entière
politique commune
global
utilisateur courant
préférences personnelles
local
repository courant
identité ou règle spécifique au projet

03Configure sans polluer la machine

cd /tmp/soria-git-foundations-$USER/starter
git config --local user.name "SORIA Student"
git config --local user.email "student@soria.invalid"
git config --local init.defaultBranch main
git config --local --list --show-origin

Le lab utilise volontairement une adresse réservée et une configuration locale. Les exercices ne modifient pas le profil Git global.

04Initialise un dépôt neuf

mkdir -p /tmp/soria-git-manual-$USER
cd /tmp/soria-git-manual-$USER
git init -b main
git status
git rev-parse --show-toplevel

git init crée le dossier interne .git. Il ne crée pas de commit et n’envoie rien vers GitHub.

05Provoque une erreur d’identité

mkdir -p /tmp/soria-git-identity-failure-$USER
cd /tmp/soria-git-identity-failure-$USER
git init -q -b main
echo test > file.txt
git add file.txt
env HOME=/tmp/soria-empty-home-$USER git commit -m "test identity" || true

Selon la configuration système, Git peut refuser le commit avec « Author identity unknown ». L’erreur démontre que chaque commit doit porter un auteur explicite.

06Inspecte la configuration effective

git config --show-origin --get user.name
git config --show-origin --get user.email
git config --show-origin --get init.defaultBranch

–show-origin indique le fichier qui fournit la valeur. C’est essentiel lorsqu’une configuration globale masque une règle locale ou inversement.

Challenge autonome

Prépare deux contextes

Crée deux dépôts avec deux identités locales fictives différentes. Prouve que la configuration globale n’a pas changé et explique pourquoi cette séparation peut être nécessaire.

Ce que tu retiens

Git associe une configuration à plusieurs scopes. Le dépôt doit être initialisé, sa branche principale nommée et son identité d’auteur vérifiée avant le premier commit.

Ta progression

Chargement de l’état… Se connecter pour synchroniser.