Pour la prise en Main de Git, de bons points de départ sont là: git-scm.com/doc

Récupérer un projet GitLab IUT de Valence

Cloner un dépot par http sur un compte depuis Linux

git clone https://gitlab.iut-valence.fr/<login>/<nom du projet>.git

L’URL à utiliser est afficher sur la page d’acceuil de votre projet.

Cloner un dépot par ssh sur un compte depuis Linux

git clone git@gitlab.iut-valence.fr:/<login>/<nom du projet>.git

L’URL à utiliser est afficher sur la page d’acceuil de votre projet.

Examiner l’état d’un projet

Pour connaître l’état actuel des fichiers dans le répertoire courant vis-à-vis de git :

git status

Récupérer une version antérieure d’un fichier

Pour annuler toutes les modifications sur un fichier depuis le dernier commit

Warning
 Attention !! Cette opération est irréversible 
git restore

Corriger un projet étudiant récupéré sur GitLab

La procédure à suivre consiste à :

  1. Cloner le dépôt étudiant.

  2. Créer une branche (correction par exemple). Cela évite toute interférence avec le travail étudiant.

  3. Modifier les fichiers existants ou en créer de nouveaux pour corriger.

  4. Commiter les modifications et ajouter les nouveaux fichiers.

  5. Pousser le dépôt local ver GitLab

Pour effectuer toutes ces étapes, il est possible d’utiliser git gui qui s’installe en même temps que git en standard. Il existe aussi des clients graphiques comme GitKraken ou TortoiseGit.

Sinon tout est faisable en ligne de commande, dans un terminal classique sous Linux ou avec git bash sous windows. Pour cela les commandes sont les suivantes :

  1. Voir ci-dessus pour le clonage.

  2. Pour créer la branche correction :

    git checkout -b correction

  3. Sauvegarder les modifications en local :

    git commit -a

  4. Ajouter un nouveau fichier :

    git add <nom du fichier>

  5. Pousser les modifications sur GitLab :

    git push origin correction