Outils pour utilisateurs

Outils du site


developement:comment_utiliser_git

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

  
  dans cette ligne de commande "figli" donne l'origine du dépôt.
  on peu mettre n'importe quel nom, mais mettre le nom du serveur sur lequel il se trouve est intéressant.
  
  
developement/comment_utiliser_git.txt · Dernière modification : de ouidade