informatique:git
Git
# Ajouter un dépôt distant git remote add <nom> <url>
- Vérifier ce que j'ai fait à la maison pour la configuration du prompt
- Ajouter une section sur les préférences de l'utilisateur par dépot
informatique/git.txt · Dernière modification : 2024/12/03 07:24 de alexis