Outils pour utilisateurs

Outils du site


divers:git:commandes

Ceci est une ancienne révision du document !


Commandes GIT

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

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 ... 

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.

divers/git/commandes.1573884436.txt.gz · Dernière modification: 2019/11/16 06:07 par marclebrun