4. Annexes

4.1. Stockage des identifiants Git

Lors de ./doc_build.sh sync, il y a plusieurs connexions au dépôt distant. Il est confortable de stocker les identifiants pour ne pas avoir à les saisir plusieurs fois.

• Pour stocker les identifiants:

  git config --global credential.helper store

• Les identifiants sont stockés dans ~/.git-credentials

• Voir la section git-credential-store dans le GitBook pour le format de ce fichier.