diff options
| -rw-r--r-- | locales/en/LC_MESSAGES/package.po | 22 | ||||
| -rw-r--r-- | locales/package.pot | 22 | ||||
| -rw-r--r-- | services/git.md | 20 |
3 files changed, 32 insertions, 32 deletions
diff --git a/locales/en/LC_MESSAGES/package.po b/locales/en/LC_MESSAGES/package.po index 1634717..7962ace 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:47+0200\n" +"POT-Creation-Date: 2022-03-31 15:52+0200\n" "PO-Revision-Date: 2022-03-29 21:01+0000\n" "Last-Translator: Nicolas Peugnet <n.peugnet@free.fr>\n" "Language-Team: English <https://hosted.weblate.org/projects/club-1/docs/en/" @@ -648,7 +648,7 @@ msgstr "" msgid "" "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_ à l'adresse `https://git.club1.fr`, par exemple :" +"seule_ à l'adresse `https://git.club1.fr`, par exemple :" msgstr "" #: ../../services/git.md:8 @@ -658,7 +658,7 @@ msgid "" msgstr "" #: ../../services/git.md:11 -msgid "Cette adresse permet 2 choses :" +msgid "Cette adresse permet 2 choses :" msgstr "" #: ../../services/git.md:13 @@ -682,7 +682,7 @@ 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 " "ordinateur personnel (remplacer `<login>` par votre **identifiant** et " -"`<repo>` par le nom que vous voulez donner au dépôt) :" +"`<repo>` par le nom que vous voulez donner au dépôt) :" msgstr "" #: ../../services/git.md:28 @@ -691,18 +691,18 @@ msgid "" "club1.fr/<login>/<repo>`, mais celui-ci est vide pour le moment. La branche " "affichée par défaut dans l'interface web est `master`. Il est possible de la " "changer en modifiant le fichier `HEAD` du dépôt. Par exemple pour la " -"remplacer par la branche `main` :" +"remplacer par la branche `main` :" msgstr "" #: ../../services/git.md:36 msgid "" "De la même manière, pour modifier la description du dépôt (cette " "modification ne sera pas forcément visible tout de suite à cause du cache de " -"cgit) :" +"cgit) :" msgstr "" #: ../../services/git.md:41 -msgid "Il y a ensuite deux cas de figure :" +msgid "Il y a ensuite deux cas de figure :" msgstr "" #: ../../services/git.md:43 ../../services/git.md:46 @@ -717,19 +717,19 @@ msgstr "" 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) car elle offre un accès en écriture au dépôt :" msgstr "" #: ../../services/git.md:55 msgid "" "Un avertissement alertera sur le fait que le dépôt ainsi cloné est vide, ce " -"qui est normal :" +"qui est normal :" msgstr "" #: ../../services/git.md:60 msgid "" "Il est désormais possible d'utiliser ce dépôt comme tout autre dépôt Git, " -"par exemple :" +"par exemple :" msgstr "" #: ../../services/git.md:72 @@ -737,7 +737,7 @@ msgid "" "Si le but est de publier un dépôt existant, alors il suffit d'ajouter le " "dépôt distant aux _remotes_ et d'y pousser la branche désirée, par exemple " "pour la branche `main` (l'option `--set-upstream` permet d'en faire la " -"_remote_ par défaut pour cette branche) :" +"_remote_ par défaut pour cette branche) :" msgstr "" #: ../../services/index.md:1 diff --git a/locales/package.pot b/locales/package.pot index 03f9158..62594be 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:47+0200\n" +"POT-Creation-Date: 2022-03-31 15:52+0200\n" "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n" "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n" "Language-Team: LANGUAGE <LL@li.org>\n" @@ -579,7 +579,7 @@ msgstr "" msgid "" "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_ à l'adresse `https://git.club1.fr`, par exemple :" +"seule_ à l'adresse `https://git.club1.fr`, par exemple :" msgstr "" #: ../../services/git.md:8 @@ -589,7 +589,7 @@ msgid "" msgstr "" #: ../../services/git.md:11 -msgid "Cette adresse permet 2 choses :" +msgid "Cette adresse permet 2 choses :" msgstr "" #: ../../services/git.md:13 @@ -613,7 +613,7 @@ 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 " "ordinateur personnel (remplacer `<login>` par votre **identifiant** et " -"`<repo>` par le nom que vous voulez donner au dépôt) :" +"`<repo>` par le nom que vous voulez donner au dépôt) :" msgstr "" #: ../../services/git.md:28 @@ -622,18 +622,18 @@ msgid "" "club1.fr/<login>/<repo>`, mais celui-ci est vide pour le moment. La branche " "affichée par défaut dans l'interface web est `master`. Il est possible de la " "changer en modifiant le fichier `HEAD` du dépôt. Par exemple pour la " -"remplacer par la branche `main` :" +"remplacer par la branche `main` :" msgstr "" #: ../../services/git.md:36 msgid "" "De la même manière, pour modifier la description du dépôt (cette " "modification ne sera pas forcément visible tout de suite à cause du cache de " -"cgit) :" +"cgit) :" msgstr "" #: ../../services/git.md:41 -msgid "Il y a ensuite deux cas de figure :" +msgid "Il y a ensuite deux cas de figure :" msgstr "" #: ../../services/git.md:43 ../../services/git.md:46 @@ -648,19 +648,19 @@ msgstr "" 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) car elle offre un accès en écriture au dépôt :" msgstr "" #: ../../services/git.md:55 msgid "" "Un avertissement alertera sur le fait que le dépôt ainsi cloné est vide, ce " -"qui est normal :" +"qui est normal :" msgstr "" #: ../../services/git.md:60 msgid "" "Il est désormais possible d'utiliser ce dépôt comme tout autre dépôt Git, " -"par exemple :" +"par exemple :" msgstr "" #: ../../services/git.md:72 @@ -668,7 +668,7 @@ msgid "" "Si le but est de publier un dépôt existant, alors il suffit d'ajouter le " "dépôt distant aux _remotes_ et d'y pousser la branche désirée, par exemple " "pour la branche `main` (l'option `--set-upstream` permet d'en faire la " -"_remote_ par défaut pour cette branche) :" +"_remote_ par défaut pour cette branche) :" msgstr "" #: ../../services/index.md:1 diff --git a/services/git.md b/services/git.md index e00e435..9603edf 100644 --- a/services/git.md +++ b/services/git.md @@ -3,12 +3,12 @@ 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_ -à l'adresse `https://git.club1.fr`, par exemple : +à l'adresse `https://git.club1.fr`, par exemple : [`https://git.club1.fr/nicolas/dna-backup/`](https://git.club1.fr/nicolas/dna-backup/) → `/home/nicolas/git/dna-backup/` -Cette adresse permet 2 choses : +Cette adresse permet 2 choses : 1. Cloner le dépôt Git avec `git clone` grâce au [git-http-backend](https://git-scm.com/docs/git-http-backend). @@ -21,7 +21,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 (remplacer `<login>` par votre **identifiant** et `<repo>` par le nom que vous -voulez donner au dépôt) : +voulez donner au dépôt) : ssh <login>@club1.fr git init --bare git/<repo> @@ -29,16 +29,16 @@ Dès lors, le dépôt est publié en _lecture seule_ à l'adresse `https://git.club1.fr/<login>/<repo>`, mais celui-ci est vide pour le moment. La branche affichée par défaut dans l'interface web est `master`. Il est possible de la changer en modifiant le fichier `HEAD` du dépôt. -Par exemple pour la remplacer par la branche `main` : +Par exemple pour la remplacer par la branche `main` : echo "ref: refs/heads/main" | ssh <login>@club1.fr tee git/<repo>/HEAD De la même manière, pour modifier la description du dépôt (cette modification -ne sera pas forcément visible tout de suite à cause du cache de cgit) : +ne sera pas forcément visible tout de suite à cause du cache de cgit) : echo "ma super description" | ssh <login>@club1.fr tee git/<repo>/description -Il y a ensuite deux cas de figure : +Il y a ensuite deux cas de figure : - Création d'un nouveau dépôt - Publication d'un dépôt existant @@ -48,17 +48,17 @@ Il y a ensuite deux cas de figure : 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 : +au dépôt : git clone <login>@club1.fr:git/<repo> Un avertissement alertera sur le fait que le dépôt ainsi cloné est vide, ce -qui est normal : +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, -par exemple : +par exemple : cd <repo> echo 'Hello World!' >> README @@ -72,7 +72,7 @@ par exemple : Si le but est de publier un dépôt existant, alors il suffit d'ajouter le dépôt distant aux _remotes_ et d'y pousser la branche désirée, par exemple pour la branche `main` (l'option `--set-upstream` permet d'en faire la -_remote_ par défaut pour cette branche) : +_remote_ par défaut pour cette branche) : git remote add club1 <login>@club1:git/<repo> git push --set-upstream club1 main |