Différences entre versions de « Référence:Format Fichiers »

De GeoGebra Manual
Aller à : navigation, rechercher
(link to Italian)
Ligne 42 : Ligne 42 :
 
[[es:Referencia:Formato Archivo]]
 
[[es:Referencia:Formato Archivo]]
 
[[it:Riferimenti:Formato file]]
 
[[it:Riferimenti:Formato file]]
[[Catégorie:Référence|Référence:Format_Fichiers]]
+
[[Catégorie:Référence|Format_Fichiers]]

Version du 24 mars 2013 à 19:04


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).

geogebra.js

Ce fichier contient les instructions JavaScript utilisées dans le fichier. Voir Script pour les détails.

images

Les images utilisées dans la construction (intégrées par l'utilisation de l'outil Tool Insert Image.gif 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 :

  1. Créer une copie de sauvegarde de vos fichiers.
  2. Lire la référence XML GeoGebra.
  3. Ê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.
  4. Compacter finalement tous les fichiers nécessaires au moyen d'un utilitaire ZIP standard (pas de cryptage etc.) et renommer en .ggb vos fichiers.

en:Reference:File Format es:Referencia:Formato Archivo it:Riferimenti:Formato file

© 2024 International GeoGebra Institute