Github Desktop

GitHub Desktop est un client Git en mode graphique, ce qui simplifie toutes les tâches liées à l’utilisation de Git.

Github Desktop

Procédure d'installation
  1. Télécharger le fichier GitHubDestopSetup-x64.exe
  2. Exécuter ce fichier et accepter l’avertissement
  3. En fin d’installation, sauter l’étape d’authentification sur GitHub : Skip this step
  4. Compléter le formulaire de configuration : Name + Email puis cliquer sur Finish

Il n’est pas utile d’avoir des droits Administrateur sur l’ordinateur pour installer GitHub Desktop. L’application s’installe dans le dossier :

C:\Users\prenom.nom\AppData\Local\GitHubDesktop

ATTENTION : sur les ordinateurs du lycée, ce dossier est supprimé à chaque fermeture de session !
Il faut donc le déplacer dans votre dossier personnel « Mes Documents », puis remplacer l’icône créée sur le Bureau à l’installation par une icône pointant sur le nouvel emplacement.

Afin d’y accéder facilement à la prochaine session, il est conseillé d’utiliser les services de STP !

 

Création d’un dépôt local

Afin de commencer à travailler sur un projet, il faut créer un dépôt local sur son ordinateur. Cela passe par une opération de clonage :

  1. Accéder au dépôt distant du projet sur sur GitLab
  2. Copier le lien de clonage (version HTTP) :
  3. Ouvrir GitHub Desktop ;
  4. Choisir l’option Clone a repository from the Internet ;
  5. Choisir l’onglet URL et coller le lien de clonage ;
  6. Choisir le nom du répertoire local (créer un sous dossier dans Mes Documents) ;
  7. Faire Clone
  8. Compléter le formulaire d’authentification, avec vos identifiants GitLab ;

Le dossier local contient à présent l’ensemble des fichiers du projet, ainsi qu’un dossier caché .git.

 

Le travail peut commencer !

 

 

Utilisation de git en production

Dès la création d’un fichier dans le dossier de travail, il faut tester le fonctionnement du dépôt git.

  • Ajouter un fichier dans le répertoire de travail.
  • Ouvrir GitHub Desktop : le nouveau fichier doit apparaitre dans l’onglet Changes :
  • Faire un commit :
  • Puis un push :

 

En cas de message d’erreur, il peut être nécessaire de recommencer le clonage depuis le dépôt distant :

  1. Supprimer le dépôt local depuis GitHub Destop :
  2. Supprimer le dossier de travail du disque durDisque dur Un disque dur, parfois abrégé DD, HD ou HDD (Hard Disque Drive), est une mémoire de masse magnétique utilisée principalement dans les ordinateurs, mais également dans des baladeurs numériques, des caméscopes, des lecteurs/enregistreurs de DVD de salon, des consoles de jeux vidéo, etc.  , entièrement.
  3. Recommencer l’opération de clonage (voir Création d’un dépôt local)

 

Lorsqu’un autre membre du projet a publié sur Gitlab des modifications, il faut les récupérer sur son dépôt local :

  • Faire un fetch :
  • Puis un pull :

 

 

Vous aimerez aussi...

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée.