Outils pour utilisateurs

Outils du site


informatique:generalites:github

Dépôt GitHub

Création et utilisation d'un dépôt GitHub.

Créer un dépôt Git local sur sa machine

Installer git sur sa machine :

apt-get install git

Se présenter à git :

git config --global user.email "you@example.com"
git config --global user.name "Your Name"

Pour initialiser un projet il suffit de créer un répertoire et de l'initialiser :

mkdir Mon_Projet
cd Mon_Projet
git init

A présent nous avons créé un dépôt local sur lequel nous pouvons ajouter des fichiers et commiter à volonté :

git add Mon_Fichier
git commit -m "Je commit comme un malade"

Créer un dépôt Git distant sur GitHub

Créer un compte sur GitHub puis créer un nouveau projet.
Dorénavant nous allons connecter notre dépôt local à notre dépôt GitHub :

git remote add origin https://github.com/floriantales/Mon_Projet.git

On peut vérifier qu'il soit bien connecté:

git remote -v

On pousse le projet local sur github :

git push --set-upstream origin master (on utilisera uniquement "git push" par la suite)

Consulter les mises à jour locales

Mettre à jour le dépôt Git distant

Pour pousser des modifications il faudra systématiquement enchaîner:

git add Mon_Fichier_Modifié
git commit -m "Ce que j'ai fait"
git push

Un petit git status nous permet de savoir où nous en sommes.

Télécharger et mettre à jour son dépôt en local

Pour télécharger :

git clone username@host:/path/to/repository

par exemple : git clone https://github.com/floriantales/arduino_switch_shield

Pour mettre à jour :

git pull

Supprimer un commit dans GitHub

S'assurer que sont dépôt local soit à jour. Identifier l'id du point de commit a restaurer, depuis une version locale à jour:

git log

Puis :

git reset --hard 75df3e0d411b2e6c636ffa7565af1413b800c330
git push --force

Jouer avec les branches

Un clone téléchargera toutes les branches, pour vérifier la liste des branches disponibles et celle courante :

git branch -a

Pour créer une branche :

git branch ma_nouvelle_branche

Pour switcher sur une branche :

git checkout ma_nouvelle_branche

On peut ajouter, modifier, commiter et revenir sur le master. On veut supprimer une branche :

git branch -d ma_branche_obsolete

On veut merger une branche :

git merge ma_branche_a_merger

Git demandera alors de faire le ménage dans tous les deltas …

Glossaire Git pour les Nuls

  • git init : Initialise un dépôt git dans un répertoire vide.
  • git status : Affiche le statut des choses dans le répertoire suivi
  • git add <NOM DU FICHIER A SUIVRE> : Ajoute un fichier à suivre dans la zone d’attente
  • git commit -m “entrez votre message” : Consigner (déclarer) toute modification.
  • git remote add origin [adresse URL GitHub ici] : Connecte votre dépôt local avec GitHub.
  • git push -u origin nom_branche : Pousse les modifications vers GitHub
  • git checkout : Littéralement “check out” (retirer, rapatrier) une branche.
  • git -b <NomBranche> : Crée une nouvelle branche dans votre dépôt.
  • git log: affiche un journal des modifications au dépôt
  • git clone <URL PROVENANT DE GITHUB> : clone un projet de votre système à partir de github
  • git branch <nom_branche> : crée une copie de la branche master appelée
  • git checkout <branch_name> : bascule vers nom_branche comme branche de travail
  • git checkout master : bascule la branche vers master
  • git branch -a : affiche les branches existantes pour le dépôt particulier

Source : Lien

Liens

informatique/generalites/github.txt · Dernière modification : 2019/11/29 10:40 de 127.0.0.1