This is an old revision of the document!
Table of Contents
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 :
- Allez sur : https://atlas.i3s.unice.fr/crowd/
- Cliquez sur le lien “Can't access my account?”
- Cochez ensuite “I have forgotten my password” : votre username est
lp-votrenomtout 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/.
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é.
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.
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 :
git init monRepo
: cette commande va créer un nouveau dépôt local dans un dossier nouvellement créé nommé “monRepo”
- Créez ensuite un fichier
Menu.txtcontenant 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 addetgit commitpour faire votre premier commit contenant le fichier Menu.txt, attention à ne pas oublier le message de commit !
git commit -m “le message de commit”,git commitsans 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
- Modifiez le fichier
Menu.txtet commitez ces modifications. - Affichez l'historique des modifications et enregistrez les dans un fichier
log.txtque vous ajoutez au dépôt. - Visualisez les modifications effectuées dans
Menu.txtentre le premier et le deuxième commit grâce àgit diffet enregistrer le résultat dans un fichierdiff.txtque vous ajoutez au dépôt.
> pour que la sortie standard soit redirigée sur un fichier. Par exemple ls -l > toto.txt écrit la liste des fichiers du répertoire courant dans le fichier toto.txt.
- Liez votre dépôt local au dépôt distant. Vous retrouvez normalement ces informations sur la page du dépôt dans Stash. La commande devrait être de la forme :
git remote set-url origin https://...@atlas.i3s.unice.fr/stash/scm/.../evalgit.git
- Poussez ensuite les commits effectuez grâce à la commande
git push -u origin master - Vous serez normalement amené à gérer des conflits : résolvez les conflits en conservant l'ensemble des logs et des diffs.