Git

De Wiketud
Aller à : navigation, rechercher

Git est un, si ce n'est le plus connu, logiciel de contrôle de version permettant de faciliter le travail collaboratif sur un projet de développement. Le serveur des étudiants offre la possibilité aux étudiants de créer des dépôts (ou repositories).

Obtenir un espace

Pour faire héberger un projet sur le GIT du serveur étudiant, on peut en faire la demande ici : http://www.etud.insa-toulouse.fr/modules/gerer_svn/demande.php

  • Le nom du dépôt (assez explicite, évitez "projet_c" par exemple)
  • Le contexte (Besoin d'un dépôt dans le cadre d'un projet tutoré par exemple)
  • Les logins INSA des étudiants autorisés à accéder au dépôt en précisant les droits (en lecture et écriture).
  • La durée pendant laquelle vous en avez besoin pour que les roots puissent supprimer les comptes devenus obsolètes pour faire de la place.

Commandes de base :

Premier push :

  • git push origin master

Pour cloner le dépôt :

Pour mettre à jour sa copie locale :

  • git pull

Pour faire un commit local :

  • git commit -a

Pour envoyer sur le serveur ses modifications :

  • git push

Pour créer une nouvelle branche locale :

  • git checkout -b nom_branche

Pour changer de branche :

  • git checkout nom_branche

Pour récupérer une branche distance :

  • git checkout -b local-name origin/remote-name

Astuces

Pour éviter de devoir taper son mot de passe à chaque fois, il suffit de créer un fichier .netrc dans votre home avec à l'intérieur :

machine etud.insa-toulouse.fr
login <username>
password <password>

Et pour des questions de sécurité, il faut supprimer les droits de lecture sur ce fichier :

  • chmod 600 .netrc