Configuration
La page Configuration définit le contenu du produit et le fichier de configuration nécessaires à l'exécution du produit.
Contenu
Si le produit repose sur des plugins, la page Configuration contient la section Plug-ins et fragments dans laquelle vous listez tous les plug-ins constituant le produit. Cette section contient également les boutons Nouveau plug-in... et Nouveau fragment... qui permettent de créer des plug-ins et fragments à la volée.
Si le produit repose sur des dispositifs, la page Configuration contient la section Dispositifs dans laquelle vous listez tous les dispositifs qui constituent le produit. Cette section contient également le bouton Nouveau dispositif... qui permet de créer des dispositifs à la volée.
Fichier de configuration
Lors du démarrage, l'environnement d'exécution lit le fichier de configuration config.ini situé dans le sous-répertoire configuration/ de la zone de configuration d'un produit Eclipse. Ce fichier est un fichier de propriétés standard qui peut configurer de nombreux aspects de l'environnement d'exécution. Pour une liste complète des propriétés prises en charge, reportez-vous au document Options d'exécution Eclipse.
L'option Générer un fichier config.ini avec le contenu par défaut est l'option par défaut et il est recommandé de l'utiliser si vous n'avez pas de besoins très spécifiques. Lorsque vous sélectionnez cette option, l'environnement PDE génère un fichier config.ini avec les propriétés suivantes :
Vous pouvez également utiliser un fichier config.ini existant qui sera copié tel quel par l'environnement PDE vers le produit final.