Git
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 à :
-
Cloner le dépôt étudiant.
-
Créer une branche (correction par exemple). Cela évite toute interférence avec le travail étudiant.
-
Modifier les fichiers existants ou en créer de nouveaux pour corriger.
-
Commiter les modifications et ajouter les nouveaux fichiers.
-
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 :
-
Voir ci-dessus pour le clonage.
-
Pour créer la branche correction :
git checkout -b correction
-
Sauvegarder les modifications en local :
git commit -a
-
Ajouter un nouveau fichier :
git add <nom du fichier>
-
Pousser les modifications sur GitLab :
git push origin correction