From 98d9ae6bc83c6b57fa4d868a2da1992d051f7606 Mon Sep 17 00:00:00 2001 From: n-peugnet Date: Wed, 6 Apr 2022 17:48:34 +0200 Subject: feat: start using Sphinx specific features - Add a Glossary and start using it - Add an Attention admonition about the specifics of MyST-Parser --- services/git.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'services') diff --git a/services/git.md b/services/git.md index 615d8cc..ead5453 100644 --- a/services/git.md +++ b/services/git.md @@ -2,7 +2,7 @@ Dépôts Git publics ================== Le dossier `git/`, à la racine de l'**espace personnel** est particulier. -Les dépôts Git rangés dedans seront automatiquement publiés en _lecture seule_ +Les dépôts {term}`Git` rangés dedans seront automatiquement publiés en _lecture seule_ à l'adresse `https://git.club1.fr`, par exemple : [`https://git.club1.fr/nicolas/dna-backup/`](https://git.club1.fr/nicolas/dna-backup/) @@ -18,7 +18,7 @@ Cette adresse permet 2 choses : Tutoriel d'utilisation ---------------------- -Pour utiliser la fonctionnalité de dépôts Git publics sur CLUB1, il faut tout +Pour utiliser la fonctionnalité de dépôts {term}`Git` publics sur CLUB1, il faut tout d'abord initialiser le dépôt à distance, avec [SSH](ssh.md), depuis un ordinateur personnel (remplacer `` par votre **identifiant** et `` par le nom que vous voulez donner au dépôt) : @@ -57,7 +57,7 @@ qui est normal : warning: You appear to have cloned an empty repository. -Il est désormais possible d'utiliser ce dépôt comme tout autre dépôt Git, +Il est désormais possible d'utiliser ce dépôt comme tout autre dépôt {term}`Git`, par exemple : cd -- cgit v1.2.3