Nous avons déployé un GitLab spécialement pour ce MOOC afin que vous puissiez vous familiariser en douceur avec la gestion de version. Cette section décrit étape par étape comment y accéder. Cette vidéo illustre ces étapes ainsi que comment utiliser GitLab. Nous vous incitons vivement à la regarder si vous n'êtes pas familiers avec ce type d'environnement.
Accéder à GitLab depuis la plateforme FUN (cliquez sur Accédez à Gitlab / Access to Gitlab)
Vous arrivez sur le formulaire suivant :
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.
Cliquer sur le premier Sign in. L'authentification est automatique à cette étape.
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.
Pour récupérer le mot de passe prédéfini, il faut utiliser le Gitlab credentials retrieval tool. On retrouve alors le login et le 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 car cela vous empêchera d'utiliser les notebook Jupyter du MOOC.
Enfin, pour ceux qui veulent aller plus plus loin et en savoir plus 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 séquence "7. Installations, configurations, references" du module 2 de ce Mooc ainsi que des ressources pour apprivoiser git en ligne de commandes.
L'enregistrement des modifications des fichiers générés et gérés par LibreOffice
est succinctement décrite sur la page du Wiki de ce logiciel. Une espèce de sommaire des pages concernant la gestion des modifications est également disponible. Le livre LibreOffice, c’est stylé ! téléchargeable gratuitement (et légalement) ne semble pas aborder la question. Sa version source est disponible sur framagit= (un autre serveur type GitLab) et est écrite en… markdown
!
Pour DokuWiki, le plus simple est de consulter le Wiki écrit, cette fois au moins !, en DokuWiki.