@@ -30,9 +30,9 @@ button "*Accéder à Gitlab / Access to Gitlab*".
[[file:gitlab_images/projects.png]]
#+END_CENTER
The long string replaced here by =xxx= is the login you will have to use in Git to synchronize with GitLab.
*NB* : You must reach GitLab from the FUN platform. You are likely to get a "405 error" if you are using the following address: https://app-learninglab.inria.fr/gitlab/users/sign_in.
The long string replaced here by =xxx= is the login you will have to
use in Git to synchronize with GitLab.
- *NB* : You must reach GitLab from the FUN platform. You are likely to get a "405 error" if you are using the following address: https://app-learninglab.inria.fr/gitlab/users/sign_in.
#+BEGIN_CENTER
[[file:gitlab_images/erreur405.png]]
...
...
@@ -56,3 +56,11 @@ To recover a predefined password you must use [[https://app-learninglab.inria.fr
** To go learn more about git/Gitlab
If you want to go further, few tutorial videos are gathered in [[https://www.fun-mooc.fr/courses/course-v1:inria+41016+self-paced/jump_to_id/7508aece244548349424dfd61ee3ba85][sequence "7. Installations, configurations, references" of module 2]]
of this MOOC.
** In case of problems with Gitlab
In case of problem, contact us via the forum. In order to help you
solve any problems, please give us your LTI identifier (external
identifier automatically assigned for GitLab and Jupyter)
that you can find on your GitLab account (see capture below).
@@ -30,8 +30,7 @@ plateforme FUN après avoir cliqué sur le bouton "*Accéder à Gitlab / Access
La grande chaîne de caractères remplacée ici par =xxx= est le login
qu'il faudra utiliser dans Git pour accéder à Gitlab.
*NB* : Il faut accéder à Gitlab depuis la plateforme FUN. Vous risquez
- *NB* : Il faut accéder à Gitlab depuis la plateforme FUN. Vous risquez
d'obtenir une erreur 405 en accédant directement à la page https://app-learninglab.inria.fr/gitlab/users/sign_in.
#+BEGIN_CENTER
[[file:gitlab_images/erreur405.png]]
...
...
@@ -41,9 +40,10 @@ plateforme FUN après avoir cliqué sur le bouton "*Accéder à Gitlab / Access
Pour récupérer le mot de passe prédéfini, il faut utiliser le [[https://app-learninglab.inria.fr/jupyterhub/services/password][Gitlab
credentials retrieval tool]]. On retrouve alors le login et le mot de
passe.
#+BEGIN_CENTER
[[file:gitlab_images/password_retrieval.png]]
#+END_CENTER
#+BEGIN_CENTER
[[file:gitlab_images/password_retrieval.png]]
#+END_CENTER
** Modifier son mot de passe
Il est possible de modifier ce mot de passe dans "Account / Paramètres / Mot de passe". Mais nous vous déconseillons de le faire
...
...
@@ -58,3 +58,13 @@ sur l'outil de gestion de version git sur lequel s'appuie GitLab,
quelques vidéos de démonstration sur git et Gitlab sont proposées dans
la [[https://www.fun-mooc.fr/courses/course-v1:inria+41016+self-paced/jump_to_id/7508aece244548349424dfd61ee3ba85][séquence "7. Installations, configurations, references" du module 2]
de ce Mooc ainsi que des ressources pour apprivoiser git en ligne de commandes.
** Que faire en cas de problème
En cas de problème, contactez-nous via le forum. Afin de pouvoir vous
aider à résoudre vos problèmes éventuels,
merci de nous communiquer votre identifiant LTI (identifiant externe
attribué automatiquement pour GitLab et Jupyter) que vous pouvez
retrouvez sur votre compte GitLab (cf capture ci-dessous).