PrécédentInstallation de PlatformIO3 / 5SuivantExtension VSCode pour CREPP.io
2. Installation des outils

Le serveur Git pour les projets

Le serveur Git pour les projets

Présentation

Ce document a pour objectif d'expliquer le fonctionnement de Git pour les ateliers du CREPP.
Un serveur Git a été créé pour centraliser les supports des ateliers ainsi que les codes et projets produits depuis la création du CREPP en 2012.
Il est donc en perpétuelle amélioration. Ce premier chapitre explique l'utilisation du serveur Gitlab.

Localisation

Le serveur est disponible à l'adresse suivante : https://gitlab.com/crepp_git ou bien en passant sur le site du CREPP [1]}}, dans la section Les outils - Ressources Gitlab
Accès aux ressources GIT
Accès aux ressources GIT

Un serveur contient un ensemble de répertoires qui peuvent être des projets, des ensembles de documents...

Une fois le lien cliqué, vous tombez directement sur cette interface

La page principale du serveur Git
La page principale du serveur Git

Vous avez accès à l'ensemble des groupes du CREPP. Pour afficher tous les groupes, vous pouvez cliquer sur les flèches latérales.

Le serveur est scindé en groupes :

Exploration d'un groupe

L'arborescence

En cliquant sur la flèche latérale, on peut dérouler le groupe, l'arborescence de ce dernier apparaît.

On déroule un groupe
On déroule un groupe

Un groupe est constitué d'un ou de plusieurs répertoires (ici, , ...)

Exploration d'un répertoire

L'arborescence

Une fois que l'on clique sur un répertoire, on a la vue suivante avec le premier rang des dossiers et les fichiers sur le même niveau.

Répertoire 0.45boardView

Une description du répertoire est disponible avec un fichier README.md. (ici le répertoire )

Une description du répertoire
Une description du répertoire

Les principaux langages utilisés dans le répertoires sont indiqués à droite de la section README.

Récupération d'un fichier

Pour récupérer un fichier particulier, il faut parcourir l'arborescence pour le trouver.
Une fois le fichier localisé, il faut cliquer sur le logo de téléchargement.

Téléchargement d'un fichier
Téléchargement d'un fichier
💡

Cette méthode est contraignante quand nous sommes ammenés à manipuler plusieurs fichiers au sein d'un même répertoire.
La méthode suivante va vous expliquer comment télécharger directement tout un répertoire pour travailler par la suite en local.

Téléchargement d'un répertoire

Pour télécharger un répertoire dans son intégralité, il faut tout d'abord se placer à la racine de celui-ci en cliquant sur le nom du répertoire :

Déplacement à la racine du répertoire
Déplacement à la racine du répertoire

Ensuite, il faut cliquer sur le bouton bleu pour dérouler un petit menu puis cliquer sur Download ZIP

Téléchargement du répertoire
Téléchargement du répertoire

Le répertoire va se télécharger au format ZIP dans vos téléchargements avec le suffixe -master.
Par exemple, le répertoire Codes\_Arduino sera téléchargé sous le nom Codes\_Arduino-master.zip.

Il ne vous reste plus qu'à extraire le fichier pour explorer le répertoire.

Le client Git

Pour télécharger les codes depuis l'interface VScode, nous allons avoir besoin d'un client Git. Il est disponible sur Windows, MacOS et Linux.

Notes

  1. \link{\url{crepp.org

PrécédentInstallation de PlatformIO3 / 5SuivantExtension VSCode pour CREPP.io