Git - PierreSem/findahouse GitHub Wiki

Utilisation de Git

Installation de Git

sudo apt-get install git

Configuration de git

Rajouter de la coloration syntaxique pour les messages consoles Git

git config --global color.diff auto
git config --global color.status auto
git config --global color.branch auto

Il faut également configurer son pseudo :

git config --global user.name "votre_pseudo"

Ensuite l’e-mail :

git config --global user.email [email protected]

L’ensemble de ces paramètres est accessible dans le fichier ~/.gitconfig.

Création d’un projet

La première étape consite à créer un répertoire, par exemple toto.

Création du dépot

Puis on se positionne dans le répertoire afin d’initialiser le depot git la commande suivante :

git init

Dès qu’un fichier est créer dans toto (par exemple titi.py), on le rajoute au depot git avec la commande :

git add titi.py

Ou on peut rajouter l’ensemble des fichier avec :

git add .

La prise en compte des modification est effectué via la commande commit :

git commit

Il est possible de rajouter un commentaire qui sera log 👍

git commit -m 'commentaires de toto'

L’affichage du log est obtenu avec la commande :

git log

Mise à jour du depot

La mise à jour du dépot est obtenu avec l’action suivante :

git add titi.py
git commit

Cette étape peut être effectué en une étape :

git commit -a

L’option -a demande à Git de mettre à jour les fichiers déjà existants dans son index.

Allez à un commit donné

Lorsque vous effectuez une série de commits sur un projet, il peut vous arriver de vouloir remonter dans le temps à la recherche d’erreurs éventuelles par exemple. Pour vous positionner sur un commit donné de votre historique, il vous suffit d’utiliser la commande git checkout de la façon suivante :

git checkout SHADuCommit

Pour revenir à votre branche principale (au commit le plus récent), on utilise la même commande :

git checkout master

Récuperer un projet github

À partir de GitHub, vous pouvez copier un repository sur votre machine. Pour cela, il vous suffit de rechercher le repository qui vous intéresse sur GitHub, de vous y placer, puis d’utiliser l’option "clone URL" en bas à droite de l’écran.

Cette option vous propose un lien SSH, HTTPS ou Subversion. Ici, nous allons choisir un lien HTTPS, le copier, puis coller ce lien en utilisant la commande git clone dans le dossier que vous aurez choisi sur votre machine :

git clone lienFourniParGitHub

Sauvegarder son projet sur Github

Lorsque vous travaillez sur un projet sur votre machine, il est important d’avoir un backup de votre code sur une autre machine, au cas où la vôtre tombe en panne par exemple. Une fois que vous avez travaillé sur votre code et effectué vos commits, vous allez donc les envoyer sur un remote, c’est-à-dire une autre machine qui peut être. Cependant vous devez creer un repertoire sur github pour acceuillir le projet.

Lorsque le répertoire est créer, on doit taper la ligne de commande suivante pour dire à git d’envoyer le projet local dans le depot distant.

git remote add origin https://github.com/PierreSem/findahouse.git

Envoyer son depot local sur le depot distant :

git push origin master

Récuperer le depot distant

git pull origin master

Utiliser Github avec un proxy

git config --global http.proxy http://proxyuser:[email protected]:8080

If you decide at any time to reset this proxy and work without proxy:

git config --global --unset http.proxy

Finally, to check the currently set proxy:

git config --global --get http.proxy
⚠️ **GitHub.com Fallback** ⚠️