User Tools

Site Tools


2015_2016:lp:idse:gl:stash_git

This is an old revision of the document!


Stash et GIT

L'ensemble de ce TD est inspiré des documents de Sébastien Mosser, Philippe Collet et Cyril Cecchinel.

Initialisation du mot de passe

Pour pouvoir utiliser votre repository Git, vous devez d'abord accéder à Stash et pour cela vous devez initialiser votre mot de passe. La procédure d'initialisation du mot de passe suit les étapes suivantes :

  • Cliquez sur le lien “Can't access my account?”
  • Cochez ensuite “I have forgotten my password” : votre username est lp-votrenom tout en minuscule
  • Un lien vous sera envoyé par mail à l'adresse que vous aviez indiqué lors du premier TD

Crowd vous permet ensuite de définir ou de changer votre mot de passe.

Stash et clone Git

Initialisation

Vous pouvez désormais accéder au portail Stash qui va contenir les informations sur vos repository Git : https://atlas.i3s.unice.fr/stash/.

Dans le cadre de ce TD vous ne vous intéressez qu'au repository evalgit

Lorsque vous naviguez dans un repository vide, Stash vous donne quelques informations pour la configuration. Il est en effet nécessaire que votre installation de Git soit configurée de manière à ce que vos noms et adresse email soit renseigné.

Si un commit ne peut être identifié comme provenant de vous il est considéré comme anonyme lors des évaluations !

Vous pouvez accéder à Git en ligne de commande sur vos machines à l'emplacement suivant :
Sous R:PortableGit puis git-bash qui s'ouvre en ligne de commande.

Par défaut, la ligne de commande va s'ouvrir sur le chemin R: changez de chemin vers votre propre répertoire de travail, dès le lancement de la console : cd P:

Vous configurer ensuite Git pour savoir qui commit :

  •  git config --global user.name "Votre Nom"
  •  git config --global user.email supermail@gmail.com 

Afin d'outrepasser les problèmes de certificat il vous faut aussi ajouter cette configuration :

  •   git config --global http.sslVerify false

Manipulation Git

Une fois toutes ces opérations effectuées, placez vous dans P: et initialisez un nouveau dépôt git :

  • <code>git init monRepo<code> : cette commande va créer un nouveau dépôt local dans un dossier nouvellement créé nommé “monRepo”
  • Créez ensuite un fichier Menu.txt contenant des plats de restaurant, ligne par ligne :
    • Steak tartare
    • Salade norvégienne
    • Filet de dorade
    • Bar à la citronnelle
  • Vérifiez le résultat en tapant la commande git status
  • Utilisez les commandes git add et git commit pour faire votre premier commit contenant le fichier Menu.txt, attention à ne pas oublier le message de commit !
Il existe plusieurs manières de commiter en laissant un message de commit :
  • git commit -m “le message de commit”,
  • git commit sans argument vous ouvre un éditeur (vi par défaut - echap et :wq pour sortir en écrivant le message)
  • et d'autres que vous pourrez retrouver dans la documentation
2015_2016/lp/idse/gl/stash_git.1444049146.txt.gz · Last modified: 2015/10/05 14:45 by urli