Howto pour le Git

Cloner le repository et se déplacer dans le répertoire

git clone https://git.litislab.fr/dolivier/VieArtificielle.wiki.git
cd VieArtificielle.wiki.git

Ajouter le dépot distant avec un nom court.

git remote add CoursVA https://git.litislab.fr/dolivier/VieArtificielle.wiki

Publier ses ajouts. On met à jour pour éviter les conflits et on identifie les fichiers modifiés.

git pull
git status

Une fois les fichiers identifiés, il faut les ajouter pour publication. Ceci se fait grâce à la commande :

git add nom_fichier1 nom_fichier2 ....

On "commite" et on pousse

git commit -m "Ajout d'un document expliquant l'utilisation de git."
git push

Lorsqu'on utilise https c'est souvent pénible de rentrer le nom d'utilisateur puis le password. Une solution consiste à préciser que votre mot de passe est valide pour 10 millions de secondes .... soit a peu près 116 jours .... c'est peut-être un peu trop .

git config --global credential.helper 'cache --timeout=10000000'