Aller au contenu

Forgejo — Depot de code

Instance temporaire

Cette instance Forgejo est temporaire et sera supprimee a la fin du module. Pensez a sauvegarder votre travail en local si vous souhaitez le conserver.

Les rendus de TD se font via Forgejo, une plateforme de gestion de code source (comme GitHub, mais auto-hebergee).

Adresse de l'instance : https://git.isen-cyber.ovh

Creer son compte

  1. Rendez-vous sur https://git.isen-cyber.ovh
  2. Cliquez sur Inscription (ou Register)
  3. Remplissez le formulaire :
    • Nom d'utilisateur : votre prenom-nom (ex : jean-dupont)
    • Adresse email : votre adresse @isen.yncrea.fr (obligatoire)
    • Mot de passe : au moins 8 caracteres
  4. Cliquez sur Creer un compte

Adresse email

Seules les adresses @isen.yncrea.fr sont acceptees. Vous ne pourrez pas vous inscrire avec une adresse personnelle.

Se connecter

  1. Rendez-vous sur https://git.isen-cyber.ovh
  2. Entrez votre nom d'utilisateur et mot de passe
  3. Cliquez sur Connexion

Creer un projet (depot)

Pour chaque TD, vous devez creer un depot :

  1. Cliquez sur le + en haut a droite, puis Nouveau depot
  2. Nommez le depot selon le TD : td1, td2, td3 ou td4
  3. Laissez le depot en public (pour que le professeur puisse y acceder)
  4. Cliquez sur Creer le depot

Les bases de Git

Git est un outil de gestion de versions : il enregistre l'historique de vos modifications et vous permet de travailler a plusieurs sur un meme projet.

Concepts cles

Concept Description
Repository (depot) Un dossier de projet suivi par Git
Commit Un "snapshot" de vos fichiers a un instant donne
Push Envoyer vos commits vers le serveur (Gitea)
Pull Recuperer les modifications depuis le serveur
Clone Telecharger un depot depuis le serveur

Commandes essentielles

Configurer Git (a faire une seule fois) :

git config --global user.name "Prenom Nom"
git config --global user.email "prenom.nom@isen.yncrea.fr"

Cloner un depot existant :

git clone https://git.isen-cyber.ovh/<votre-username>/td1.git
cd td1

Ou initialiser un nouveau depot :

cd td1
git init
git remote add origin https://git.isen-cyber.ovh/<votre-username>/td1.git

Le cycle de travail Git :

# 1. Voir l'etat de vos fichiers
git status

# 2. Ajouter les fichiers modifies
git add cesar.py force_brute.py

# Ou ajouter tous les fichiers modifies
git add .

# 3. Creer un commit (snapshot)
git commit -m "Partie 1 : chiffrement de Cesar termine"

# 4. Envoyer sur Forgejo
git push

Verifier l'historique :

git log --oneline

Bonnes pratiques

  • Faites des commits reguliers (apres chaque partie terminee)
  • Ecrivez des messages de commit clairs (ex : "Partie 2 : force brute OK")
  • Faites un git push avant de quitter la seance

Pour aller plus loin

Tutoriel interactif

Pour pratiquer Git dans un environnement interactif, utilisez le tutoriel Killercoda :

Killercoda — Git Tutorial