Outils pour utilisateurs

Outils du site


developement:comment_utiliser_git

Ceci est une ancienne révision du document !


Git c'est partager un repository local sur un serveur distant (pour nous Gogs). On pourra lui faire des modifications en local et les renvoyer sur le serveur via des commandes dans Terminal (git push, git pull…)

transformer un dossier en repository sur un serveur distant

Dans Terminal

  • Aller dans le dossier : cd chemin/du/dossier
  • git init

Cela à créer des fichiers cachés (.git).

  Le dossier est devenu un repository. 

Maintenant il faut créer un repository sur le serveur distant et faire le lien entre local et distant.

  • Aller sur Yunohost, Gogs
  • créer un nouveau dépôt ( + en haut à droite)

Ne remplir que le champs “nom du dépôt”

  • Retourner dans Terminal :

git remote add figli adressedistantecopiéedepuisgogs

developement/comment_utiliser_git.1568972103.txt.gz · Dernière modification : de ouidade