Outils pour utilisateurs

Outils du site


divers:git:commandes

Ceci est une ancienne révision du document !


Commandes GIT

Créer un projet

cd /home/marc/prog
mkdir mon-projet
cd mon-projet
git init

Un dossier caché .git est créé.

Ajouter un fichier :

git add nom-du-fichier.ext
git add "*.html"
git add --all

Status du projet :

git status

Commit :

git commit -m "Mon premier commit"

Créer un fichier .gitignore et lister les fichiers à ignorer :

*.tmp
log.txt
tmp/*

Historique:

git log
git log -n 2
git log --oneline
git log --graph

Modifications depuis dernier commit:

git diff

Créer un dépôt distant

Créer un sous-dossier dans le dossier Dropbox local:

cd /home/marc/Dropbox
mkdir git
cd git
mkdir mon-projet

Se placer dans ce dossier et initialiser le dépôt:

cd /home/marc/Dropbox/git/mon-projet
git init --bare

Ajouter le dépôt distant au niveau du projet:

cd /home/marc/prog/mon-projet
git remote add origin /home/marc/Dropbox/git/mon-projet
git remote -v

Sous Windows, remplacer les “\” par des “/” :

git remote add origin E:\Dropbox\git\mon-projet  # NE PAS FAIRE COMME CECI
git remote add origin /E/Dropbox/git/mon-projet  # Faire comme ceci !!!

Transferts vers / depuis le dépôt distant

Envoyer les modifications vers le dépôt:

git push origin master

Récupérer les modifications depuis le dépôt:

git pull origin master

Si GIT refuse le pull parce qu'il y a eu des modifications en local entre-temps, mais qu'on ne souhaite pas les conserver, il faut d'abord les annuler en faisant :

git checkout .

Cloner un projet vers un nouveau dossier local:

cd /home/marc/prog
git clone /home/marc/Dropbox/git/mon-projet clone-de-mon-projet
cd /home/marc/prog/clone-de-mon-projet

Recréer le projet

Partir d'un dossier vierge :

cd /home/marc/prog
mkdir mon-projet
cd mon-projet/

Initialiser le nouveau dépôt :

git init

Ajouter le dépôt distant:

git remote add origin /home/marc/Dropbox/git/mon-projet

Télécharger le contenu du projet:

git pull origin master

Mais tout cela peut être remplacé par une seule commande :

cd /home/marc/prog
git clone /home/marc/Dropbox/git/mon-projet

Remote

Voir la liste des remote et leur emplacement :

git remote -v

Voir la configuration d'un remote en particulier :

git remote show origin

Ajouter un dépôt GitHub

NOTE: le dépôt doit d'abord être créé sur GitHub.

git remote add origin https://github.com/NOM-UTILISATEUR/NOM-DEPOT.git

Cloner un repository

Cloner un dépôt GitHub :

cd /home/marc/MesProjets
  • Puis cloner le dépôt. Par exemple :
git clone https://github.com/marclebrun/monprojet.git

Cela copie tout le code dans un nouveau dossier :

/home
    /marc
        /MesProjets
            /monprojet
                ... les fichiers se trouvent ici ... 

Cela met le dépôt utilisé comme origin dans le dossier de travail.

Faire un Push vers un repository

Push la branche master vers le dépôt origin :

git push origin master

Si c'est un dépôt GitHub, un nom et un mot de passe seront demandés pour écrire sur le dépôt (à moins qu'il n'ait déjà été donné).

Faire un Pull depuis un repository

La commande git pull fusionne les modifications de la branche distante avec la branche locale.

git pull origin

Faire un Fetch depuis un repository

La commande git fetch crée sa propre branche, contrairement à git pull.

git fetch origin
divers/git/commandes.1712205247.txt.gz · Dernière modification: 2024/04/04 04:34 par marclebrun