Différences entre versions de « Référence:Format Fichiers »
(Page créée avec « == Accéder aux fichiers GeoGebra == Un fichier GeoGebra possède une extension en <code>.ggb</code> ou en <code>.ggt</code> s'il s'agit d'un outil utilisateur, ce ne so... ») |
|||
Ligne 1 : | Ligne 1 : | ||
+ | __NoTOC__ | ||
+ | |||
== Accéder aux fichiers GeoGebra == | == Accéder aux fichiers GeoGebra == | ||
Un fichier GeoGebra possède une extension en <code>.ggb</code> ou en <code>.ggt</code> s'il s'agit d'un outil utilisateur, ce ne sont, toutes deux, que des extensions <code>.zip</code> renommées. Vous pouvez les ouvrir aisément avec le programme gestionnaire d'archives ZIP de votre choix, après avoir renommé l'extension en <code>.zip</code>. | Un fichier GeoGebra possède une extension en <code>.ggb</code> ou en <code>.ggt</code> s'il s'agit d'un outil utilisateur, ce ne sont, toutes deux, que des extensions <code>.zip</code> renommées. Vous pouvez les ouvrir aisément avec le programme gestionnaire d'archives ZIP de votre choix, après avoir renommé l'extension en <code>.zip</code>. |
Version du 24 mars 2013 à 17:50
Accéder aux fichiers GeoGebra
Un fichier GeoGebra possède une extension en .ggb
ou en .ggt
s'il s'agit d'un outil utilisateur, ce ne sont, toutes deux, que des extensions .zip
renommées. Vous pouvez les ouvrir aisément avec le programme gestionnaire d'archives ZIP de votre choix, après avoir renommé l'extension en .zip
.
Contenu
.ggb - Fichier GeoGebra
Le fichier .ggb
est la sauvegarde de base pour GeoGebra. Comme notifié ci-dessus, ce n'est rien d'autre qu'un fichier .zip
renommé. Si vous remplacez .ggb
par .zip
, après avoir décompressé l'archive, vous allez pouvoir trouver :
geogebra.xml
Ce fichier est celui où sont stockées toutes les informations concernant la construction, ces informations sont consignées en XML. Pour d'avantage d'informations sur la structure et les composants de ce fichier, voir la référence XML GeoGebra.
geogebra_thumbnail.png
Cette image est une miniature de la construction enregistrée dans le geogebra.xml
. GeoGebra utilise cette image comme aperçu des fichiers GeoGebra dans les dialogues "Ouvrir ..." et "Sauvegarder ...". Cette miniature peut être aussi utilisée pour afficher un aperçu des fichiers GeoGebra par les explorateurs des systèmes d'exploitation et par les systèmes en ligne (par ex. GeoGebra).
images
Les images utilisées dans la construction (intégrées par l'utilisation de l'outil Insérer Image) ou comme icônes des outils utilisateur, ne sont pas stockées avec des noms de fichiers explicites, mais peuvent être copiées et renommées pour être extraites du fichier GeoGebra. Si aucune image n'a été utilisée, il n'y a que les deux fichiers geogebra.xml
et geogebra_thumbnail.png
dans le .ggb
.
.ggt - Outil utilisateur GeoGebra
Le fichier .ggt
utilise la même technique de stockage que le .ggb
, ainsi en modifiant l'extension et décompressant, vous obtiendrez les fichiers :
geogebra_macro.xml
Ce fichier est celui où sont stockées toutes les informations concernant l'outil, ces informations sont consignées en XML. Pour d'avantage d'informations sur la structure et les composants de ce fichier, voir la référence XML GeoGebra.
images
Si une icône particulière a été affectée à l'outil, elle est enregistrée dans un sous répertoire, celui-ci, comme l'image n'ayant pas un nom explicite.
Modifier les fichiers
Modifier les fichiers .ggb
ou .ggt
(sous entendu les fichiers .xml
qu'ils contiennent) n'est accessible qu'à des utilisateurs avancés de GeoGebra. Au cas où vous désireriez modifier les .xml
parce que vous voulez changer quelque chose que GeoGebra ne peut gérer directement pour l'instant, comme la définition d'un outil utilisateur, ou juste expérimenter une astuce, vous devez prendre quelques précautions dans votre travail :
- Créer une copie de sauvegarde de vos fichiers.
- Lire la référence XML GeoGebra.
- Être conscient que les changements que vous avez faits peuvent être perdus lorsque vous enregistrez votre fichier. Il peut être possible que GeoGebra comprenne quelque chose d'inhabituel pendant l'opération, ce qui corromprait le fichier.
- Compacter finalement tous les fichiers nécessaires au moyen d'un utilitaire ZIP standard (pas de cryptage etc.) et renommer en
.ggb
vos fichiers.