From 6dbb91198ed67dd02bdda0ed0d35f9afbb153d9c Mon Sep 17 00:00:00 2001 From: n-peugnet Date: Thu, 31 Mar 2022 16:27:47 +0200 Subject: docs: add links and use real filenames for .md pages --- locales/en/LC_MESSAGES/package.po | 22 +++++++++++++++------- locales/package.pot | 22 +++++++++++++++------- services/git.md | 8 ++++---- 3 files changed, 34 insertions(+), 18 deletions(-) diff --git a/locales/en/LC_MESSAGES/package.po b/locales/en/LC_MESSAGES/package.po index 7962ace..c0575a2 100644 --- a/locales/en/LC_MESSAGES/package.po +++ b/locales/en/LC_MESSAGES/package.po @@ -8,7 +8,7 @@ msgid "" msgstr "" "Project-Id-Version: Hébergement CLUB1 main\n" "Report-Msgid-Bugs-To: nicolas@club1.fr\n" -"POT-Creation-Date: 2022-03-31 15:52+0200\n" +"POT-Creation-Date: 2022-03-31 16:26+0200\n" "PO-Revision-Date: 2022-03-29 21:01+0000\n" "Last-Translator: Nicolas Peugnet \n" "Language-Team: English ` par votre **identifiant** et " "`` par le nom que vous voulez donner au dépôt) :" msgstr "" @@ -705,19 +705,23 @@ msgstr "" msgid "Il y a ensuite deux cas de figure :" msgstr "" -#: ../../services/git.md:43 ../../services/git.md:46 -msgid "Création d'un nouveau dépôt" +#: ../../services/git.md:43 +msgid "[Création d'un nouveau dépôt](#création-dun-nouveau-dépôt)" msgstr "" -#: ../../services/git.md:44 ../../services/git.md:70 -msgid "Publication d'un dépôt existant" +#: ../../services/git.md:44 +msgid "[Publication d'un dépôt existant](#publication-dun-dépôt-existant)" +msgstr "" + +#: ../../services/git.md:46 +msgid "Création d'un nouveau dépôt" msgstr "" #: ../../services/git.md:48 msgid "" "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 au dépôt :" +"l'adresse [SSH](ssh.md) car elle offre un accès en écriture au dépôt :" msgstr "" #: ../../services/git.md:55 @@ -732,6 +736,10 @@ msgid "" "par exemple :" msgstr "" +#: ../../services/git.md:70 +msgid "Publication d'un dépôt existant" +msgstr "" + #: ../../services/git.md:72 msgid "" "Si le but est de publier un dépôt existant, alors il suffit d'ajouter le " diff --git a/locales/package.pot b/locales/package.pot index 62594be..1c71261 100644 --- a/locales/package.pot +++ b/locales/package.pot @@ -8,7 +8,7 @@ msgid "" msgstr "" "Project-Id-Version: CLUB1 main\n" "Report-Msgid-Bugs-To: nicolas@club1.fr\n" -"POT-Creation-Date: 2022-03-31 15:52+0200\n" +"POT-Creation-Date: 2022-03-31 16:26+0200\n" "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n" "Last-Translator: FULL NAME \n" "Language-Team: LANGUAGE \n" @@ -611,7 +611,7 @@ msgstr "" #: ../../services/git.md:21 msgid "" "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 " +"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) :" msgstr "" @@ -636,19 +636,23 @@ msgstr "" msgid "Il y a ensuite deux cas de figure :" msgstr "" -#: ../../services/git.md:43 ../../services/git.md:46 -msgid "Création d'un nouveau dépôt" +#: ../../services/git.md:43 +msgid "[Création d'un nouveau dépôt](#création-dun-nouveau-dépôt)" msgstr "" -#: ../../services/git.md:44 ../../services/git.md:70 -msgid "Publication d'un dépôt existant" +#: ../../services/git.md:44 +msgid "[Publication d'un dépôt existant](#publication-dun-dépôt-existant)" +msgstr "" + +#: ../../services/git.md:46 +msgid "Création d'un nouveau dépôt" msgstr "" #: ../../services/git.md:48 msgid "" "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 au dépôt :" +"l'adresse [SSH](ssh.md) car elle offre un accès en écriture au dépôt :" msgstr "" #: ../../services/git.md:55 @@ -663,6 +667,10 @@ msgid "" "par exemple :" msgstr "" +#: ../../services/git.md:70 +msgid "Publication d'un dépôt existant" +msgstr "" + #: ../../services/git.md:72 msgid "" "Si le but est de publier un dépôt existant, alors il suffit d'ajouter le " 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 `` par votre **identifiant** et `` 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 @club1.fr:git/ -- cgit v1.2.3