diff options
| author | n-peugnet <n.peugnet@free.fr> | 2022-03-31 16:27:47 +0200 |
|---|---|---|
| committer | Nicolas Peugnet <n.peugnet@free.fr> | 2022-03-31 23:29:53 +0200 |
| commit | 6dbb91198ed67dd02bdda0ed0d35f9afbb153d9c (patch) | |
| tree | 29f3f305110732eff8a2cf2cef238c173f620844 /services/git.md | |
| parent | 7bfb0535dbb1875464ebeeeabaf071193bc3e214 (diff) | |
| download | club1-docs-6dbb91198ed67dd02bdda0ed0d35f9afbb153d9c.tar.gz club1-docs-6dbb91198ed67dd02bdda0ed0d35f9afbb153d9c.zip | |
docs: add links and use real filenames for .md pages
Diffstat (limited to 'services/git.md')
| -rw-r--r-- | services/git.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/services/git.md b/services/git.md index 9603edf..ae08a19 100644 --- a/services/git.md +++ b/services/git.md @@ -19,7 +19,7 @@ Tutoriel d'utilisation ---------------------- Pour utiliser la fonctionnalité de dépôts Git publics sur CLUB1, il faut tout -d'abord initialiser le dépôt à distance, avec [SSH](ssh), depuis un ordinateur personnel +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) : @@ -40,14 +40,14 @@ ne sera pas forcément visible tout de suite à cause du cache de cgit) : Il y a ensuite deux cas de figure : -- Création d'un nouveau dépôt -- Publication d'un dépôt existant +- [Création d'un nouveau dépôt](#création-dun-nouveau-dépôt) +- [Publication d'un dépôt existant](#publication-dun-dépôt-existant) ### Création d'un nouveau dépôt Si le but est de créer un nouveau dépôt, alors le plus simple consiste à cloner celui-ci sur votre ordinateur personnel. -On utilise pour cela l'adresse [SSH](ssh) car elle offre un accès en écriture +On utilise pour cela l'adresse [SSH](ssh.md) car elle offre un accès en écriture au dépôt : git clone <login>@club1.fr:git/<repo> |