1️⃣ Cloner le dépôt Git

Si ton dépôt est vide ou existant :

# Cloner un dépôt distant sur ton serveur
git clone http://192.168.42.10:7630/morgane/mash-lab.git
cd mash-lab


💡 Si ton mot de passe contient des caractères spéciaux (&, @, etc.), encode-les ou utilise un credential helper :

git config --global credential.helper store

2️⃣ Configurer ton identité Git (une seule fois par serveur)
git config --global user.name "Morgane"
git config --global user.email "enagore@gmail.com"

3️⃣ Créer/modifier des fichiers ou dossiers
Ajouter un dossier
mkdir mon-dossier

Ajouter un fichier
touch mon-fichier.txt
nano mon-fichier.txt  # ou vim/vi pour éditer

Supprimer un fichier ou dossier
rm mon-fichier.txt
rm -r mon-dossier   # pour un dossier et son contenu

4️⃣ Suivre les changements dans Git
git status           # voir les fichiers modifiés/non suivis
git add fichier-ou-dossier  # ajouter un fichier ou dossier au commit
git add .            # ajouter tous les changements

5️⃣ Créer un commit
git commit -m "Message décrivant les changements"


💡 Chaque commit doit résumer clairement ce qui a été fait.

6️⃣ Envoyer les changements sur le dépôt distant (push)

S’assurer d’être sur la bonne branche (souvent main) :

git branch          # liste les branches
git checkout main   # changer de branche si nécessaire


Envoyer les commits :

git push origin main


💡 Si c’est le premier push sur un dépôt vide, assure-toi d’avoir créé la branche main :

git checkout -b main
git push -u origin main

7️⃣ Récupérer les modifications du dépôt distant (pull)
git pull origin main


Avec ces commandes, tu peux cloner, modifier, ajouter, supprimer, commit et push tous tes fichiers et dossiers sur ton serveur Git.