From 78302253d8a833c9afebb4ad8cd6721a079b395d Mon Sep 17 00:00:00 2001 From: n-peugnet Date: Thu, 31 Mar 2022 15:48:28 +0200 Subject: i18n: run make update-po --- locales/package.pot | 102 +++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 101 insertions(+), 1 deletion(-) (limited to 'locales/package.pot') diff --git a/locales/package.pot b/locales/package.pot index 2a36826..03f9158 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-30 15:29+0200\n" +"POT-Creation-Date: 2022-03-31 15:47+0200\n" "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n" "Last-Translator: FULL NAME \n" "Language-Team: LANGUAGE \n" @@ -571,6 +571,106 @@ msgstr "" msgid "Normale" msgstr "" +#: ../../services/git.md:1 +msgid "Dépôts Git publics" +msgstr "" + +#: ../../services/git.md:4 +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 :" +msgstr "" + +#: ../../services/git.md:8 +msgid "" +"[`https://git.club1.fr/nicolas/dna-backup/`](https://git.club1.fr/nicolas/" +"dna-backup/) → `/home/nicolas/git/dna-backup/`" +msgstr "" + +#: ../../services/git.md:11 +msgid "Cette adresse permet 2 choses :" +msgstr "" + +#: ../../services/git.md:13 +msgid "" +"Cloner le dépôt Git avec `git clone` grâce au [git-http-backend](https://git-" +"scm.com/docs/git-http-backend)." +msgstr "" + +#: ../../services/git.md:15 +msgid "" +"Consulter rapidement le dépôt et le sources dans un navigateur grâce à " +"l'interface web [cgit](https://git.zx2c4.com/cgit/about/)." +msgstr "" + +#: ../../services/git.md:18 +msgid "Tutoriel d'utilisation" +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 " +"ordinateur personnel (remplacer `` par votre **identifiant** et " +"`` par le nom que vous voulez donner au dépôt) :" +msgstr "" + +#: ../../services/git.md:28 +msgid "" +"Dès lors, le dépôt est publié en _lecture seule_ à l'adresse `https://git." +"club1.fr//`, 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` :" +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) :" +msgstr "" + +#: ../../services/git.md:41 +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" +msgstr "" + +#: ../../services/git.md:44 ../../services/git.md:70 +msgid "Publication d'un dépôt existant" +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 :" +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 :" +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 :" +msgstr "" + +#: ../../services/git.md:72 +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) :" +msgstr "" + #: ../../services/index.md:1 msgid "Services" msgstr "" -- cgit v1.2.3