diff options
| author | n-peugnet <n.peugnet@free.fr> | 2022-04-06 17:48:34 +0200 |
|---|---|---|
| committer | n-peugnet <n.peugnet@free.fr> | 2022-04-06 20:09:07 +0200 |
| commit | 98d9ae6bc83c6b57fa4d868a2da1992d051f7606 (patch) | |
| tree | cc8cf30dd58fe50836f7a7bc23c2877fa97072cc /services | |
| parent | 8a193ef016bbf52bfd3a69519a503d5e79b2a399 (diff) | |
| download | club1-docs-98d9ae6bc83c6b57fa4d868a2da1992d051f7606.tar.gz club1-docs-98d9ae6bc83c6b57fa4d868a2da1992d051f7606.zip | |
feat: start using Sphinx specific features
- Add a Glossary and start using it
- Add an Attention admonition about the specifics of MyST-Parser
Diffstat (limited to 'services')
| -rw-r--r-- | services/git.md | 6 |
1 files changed, 3 insertions, 3 deletions
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 `<login>` par votre **identifiant** et `<repo>` 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 <repo> |