1
0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-12-24 00:50:28 +00:00

fr-FR translations of Help on the savewikifolder and deletetiddlers commands (#3966)

* fr-FR translation of Help on the savewikifolder command

* fr-FR translation of Help on the deletetiddlers command
This commit is contained in:
Xavier Cazin 2019-06-02 21:49:50 +02:00 committed by Jeremy Ruston
parent 147d758931
commit 427b56039b
2 changed files with 27 additions and 0 deletions

View File

@ -0,0 +1,8 @@
title: $:/language/Help/deletetiddlers
description: Supprime un groupe de tiddlers
<<.from-version "5.1.20">> Supprime un groupe de tiddlers identifiés par un filtre.
```
--deletetiddlers <filtre>
```

View File

@ -0,0 +1,19 @@
title: $:/language/Help/savewikifolder
description: Enregistre un wiki dans un nouveau dossier wiki
<<.from-version "5.1.20">> Enregistre le wiki courant sous la forme d'un dossier wiki, comprenant les tiddlers, les plugins et les informations de configuration&nbsp;:
```
--savewikifolder <chemindudossierwiki> [<filtre>]
```
* Le dossier wiki cible doit être vide ou inexistant
* Le filtre spécifie les tiddlers à inclure. Il est optionnel et vaut par défaut `[all[tiddlers]]`
* Les plugins appartenant à la bibliothèque officielle de plugins sont remplacés par des références à ces plugins dans le fichier `tiddlywiki.info`
* Les plugins sur mesure sont déballés dans leur propre dossier
On utilise typiquement cette commande avec la commande `--load` pour convertir un fichier TiddlyWiki HTML en un dossier wiki&nbsp;:
```
tiddlywiki --load ./monwiki.html --savewikifolder ./mondossierwiki
```