Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
stardict [Le 07/03/2016, 10:30]
L'Africain Maj de la page
stardict [Le 16/01/2018, 16:08] (Version actuelle)
L'Africain [Outils de conversion et d'édition]
Ligne 197: Ligne 197:
  
 ==== Outils de conversion et d'​édition ==== ==== Outils de conversion et d'​édition ====
 +===PyGlossary===
 +Vous trouverez [[https://​github.com/​ilius/​pyglossary|ici]] un outil écrit en [[python]] permettant de convertir graphiquement de très nombreux types de formats de dictionnaire.
 === Stardict-tools === === Stardict-tools ===
  
Ligne 205: Ligne 207:
 {{:​stardict:​stardict-editor_trusty.png|{{capture-stardict-editor.png|}} {{:​stardict:​stardict-editor_trusty.png|{{capture-stardict-editor.png|}}
  
- ​stardict-editor est un utilitaire graphique qui permet de "​compiler"​ et "​décompiler"​ un dictionnaire (i.e. passer d'un fichier texte au format stardict et vice-versa). ​Pour l'​exécuter entrez ​+ ​stardict-editor est un utilitaire graphique qui permet de "​compiler"​ et "​décompiler"​ un dictionnaire (i.e. passer d'un fichier texte au format stardict et vice-versa). ​
  
 **Pour décompiler un dictionnaire,​ c'​est-à-dire le convertir du format StarDict au format texte tabulé :** **Pour décompiler un dictionnaire,​ c'​est-à-dire le convertir du format StarDict au format texte tabulé :**
  • stardict.txt
  • Dernière modification: Le 16/01/2018, 16:08
  • par L'Africain