Outils pour utilisateurs

Outils du site


divers:git

GIT

GitHub

GitLab

Serveur privé

Ligne de commande

Commit
Ajouter nouveaux fichiers git add –all
Status git status
Commit git commit -m “Message…”
Log git log
Modifs depuis dernier commit git diff
Revenir à l'état du dernier commit git reset –hard <commit>
Enlever un fichier du dépôt (sans l'effacer) git rm –cached monfichier.txt
Enlever un dossier du dépôt (sans l'effacer) git rm –cached -r mondossier/
Annulation des changements
Annuler les derniers changements faits en local git checkout .
Annuler les derniers changements (revenir au dernier commit) Doc1 Doc2 git reset –hard HEAD
Annuler la suppression d'un fichier/dossier git restore <dossier>
Branches
Créer une nouvelle branche git branch <branche>
Lister les branches git branch –list
Switcher vers une branche git checkout <branche>
Créer et Switcher en une opération git checkout -b <branche>
Supprimer une branche git branch -d <branche>
Supprimer une branche distante git push <remote> –delete <branche>
Merge
Merger une branche avec la branche en cours git merge <branche>
Dépôts
Voir les dépôts distants git remote -v
Voir les détails d'un dépôt git remote show <nom_depot>
Renommer un dépôt git remote rename <ancien> <nouveau>
Modifier un dépôt git remote set-url <nom_depot> <nouv_url>
Supprimer un dépôt git remote rm <nom_depot>
Envoyer les modifs vers dépôt git push <nom_depot> master
Recevoir les modifs depuis dépôt git pull <nom_depot> master
Dépôt distant privé
Ajouter un dépôt via SSH git remote add <nom_depot> ssh://git@SERVEUR/home/git/monprojet.git
Recréer (cloner) depuis un dépôt via SSH git clone git@SERVEUR:/home/git/monprojet.git (s'ajoute comme dépôt origin)

Init

Initialiser un nouveau dossier de travail

  • Dossier de travail local : git init
  • Dépôt distant : git init –bare

Remote

Serveur privé

Ajouter un dépôt via SSH

git remote add <nom_depot> ssh://git@SERVEUR/home/git/monprojet.git

GitHub

Ajouter un dépôt GitHub existant

git remote add origin https://github.com/albertdupont/monprojet.git

Push

Pull

Clone

Dépôt local

Cloner depuis un dépôt local

git clone /path/to/repository/MyProject
git clone "/C:/Users/albert.dupont/MyProject"

Le nouveau dossier MyProject est créé dans le dossier où on se trouve.

Serveur privé

Cloner depuis un dépôt distant via SSH

git clone git@SERVEUR:/home/git/monprojet.git

S'ajoute comme dépôt origin

GitHub

Cloner depuis GitHub via HTTPS

git clone https://github.com/albertdupont/monprojet.git

Cloner depuis GitHub via SSH

git clone git@github.com:albertdupont/monprojet.git

GUI (Interface Graphique)

Lancer l'interface graphique

git gui

Afficher l'historique des commits

gitk
divers/git.txt · Dernière modification: 2024/04/06 07:30 par marclebrun