Voici mon petit aide mémoire des commandes qui me servent le plus souvent.

Créer un dossier local qui servira avec git

git init

La séquence de publication

Ajouter les changements

git add -A

Faire le commit

git commit -m "message"

Envoyer à sur le serveur distant. On met « main » ou « master » suivant le nom de la branche principale du projet

git push -u origin main

Supprimer un fichier qui a été envoyé par erreur mais que l’on veut garder en local.

• créer le fichier .gitignore qui doit contenir la liste des fichiers (ou dossiers) à ne pas envoyer
• pour un seul fichier: taper la commande git rm --cached chemin/du/fichier
• pour supprimer un dossier tout entier ajouter -r qui signifie « récursivement »: git rm --cached -r chemin/du/dossier

Changer de branche

Si on a plusieurs branches et que l’on veut passer de l’une à l’autre, il est bon d’utiliser checkout qui fait un commit des changements (si j’ai bien compris)

Si tout se passe bien, vous verrez que votre explorateur de fichier change vraiment l’affichage de votre dossier (ça surprend la première fois)

git checkout nomBrancheDestination