Github

0. L’outil #

Nous allons utiliser Git et Github pour PUBLIER les énoncés et rendre les longs projets.

git est un outil très puissant dont nous n’allons utiliser qu’une toute petite partie.

1. Git #

git #

Git est un système de contrôle de version gratuit et open source conçu pour gérer efficacement et rapidement tout type de projet.

Il a été crée dans les années 90 par Linus Torvald (le créateur de Linux).

Git est le système de contrôle de version le plus employé dans le monde. À vrai dire, presque 100% des informaticiens l’utilisent.

utilisation locale : installation #

Git (le programme) est installé sur vos postes. Pour installer git chez-vous, ce que je vous conseille de faire, il vous suffit de télécharger la bonne version depuis leur site.

utilisation locale : principe #

git permet de synchroniser des fichiers entre un dépôt local et un distant.

On crée un dossier local et on exécute git init
On crée un dépôt distant portant le même nom.
On ajoute les fichiers à suivre avec git add .
Enregistrer localement : git commit -m "message"
On ajoute la référence au dépôt distant avec
git remote add origin git@addresse.git
Pousser : git push -u origin master

Là vos fichiers sont synchronisés.

Seules les étapes 3, 4 et 6 sont à refaire pour synchroniser à nouveau.

utilisation distante et synchronisée d’un nouveau dépôt local #

à l’adresse du dépôt on voit apparaître les changements
On peut récupérer le projet complet en copiant l’adresse du dépôt et en exécutant :
git clone git@adresse.git
Une fois le dépôt cloné, on récupère les mises à jour avec :
git pull origin master

2. Github #

github.com est un site qui héberge des dépôts git.
C’est le site de dépôt le plus populaire.
Github appartient à Microsoft (depuis 2018) qui l’a racheté pour 7.5 milliards de dollars.
Github ajoute à git quelques outils (dont les organisations) simplifiant la collaboration.
Github permet aussi d’ajouter et de modifier des fichiers sans utiliser de client local.

Rendez vous sur https://githbub.com #

3. Créer un compte #

Utilisez vos identifiants prenom.nom@ldf.fr pour créer un compte.
Rendez-vous sur Gmail pour vérifier que vous recevez les messages de Github
Vous devriez avoir reçu (dès que je l’aurais envoyé !) une invitation à rejoindre une classe.

4. Rejoindre l’organisation #

Le nom de l’organisation dont vous allez faire partie est “NSI-T-202X”.

Ce nom est générique et devra être adapté à l’année…
Cette organisation contient un dépôt : Tale_nsi_202X
En tant que membre, vous pouvez consulter les énoncés déposés.
Vous ne POUVEZ PAS et NE DEVEZ PAS les modifier. Ces énoncés servent de référence.

5. Cloner le dépôt #

Créez un dossier dans votre espace de travail nsi_github_enonces et ouvrez le dans un terminal.
Clonez le dépôt :
git clone https://github.com/NSI-T-2021/Tale_nsi_2021.git (bouton vert, copier)
NE MODIFIEZ JAMAIS DIRECTEMENT CE DOSSIER OU SON CONTENU.
Vous ne ferez que récupérer les modifications git pull origin master
Vérifiez que vous avez récupéré les énoncés complets.

6. Traiter un sujet d’exemple #

Créez un dossier nsi_github_reponses dans lequel vous allez travailler
Copier le dossier prog/recursivite/td depuis l’énoncé depuis les énoncés vers les réponses (respectez l’arborescence par commodité).
Vous travaillez dans vos réponses normalement.

7. Rendre le travail correspondant sur classroom #

Si un travail est à rendre sur classroom, vous aurez toujours un lien vers la page github correspondante.
Vous pouvez faire “rendre le travail” comme d’habitude et publier vos réponses.
En aucun cas vous ne devez tenter de modifier le dépôt des énoncés.

8. Résumé pour l’usage courant #

On suppose que vous avez correctement inialisé un dépôt local des énoncés.
Ouvrir le dossier des énoncés dans un terminal,
Récupérer les modifications : git pull origin master
Copier le dossier qui vous intéresse dans le dossier réponse.
Travailler (lol) dans le dossier réponse.
Rendre sur classroom si c’est demandé.

9. Références #

Vidéo de présentation par Graven
Git
Github
Tutoriel complet