.DEFS Extension de fichier
Fichier de paramètres BlueJ
| Développeur | University of Kent |
| Popularité |
3,6 | 5 Votes |
Qu'est-ce qu'un fichier DEFS ?
Fichier de configuration créé pour BlueJ, un environnement de développement Java ; il contient les paramètres administrateur du programme BlueJ, comme la langue souhaitée et l’emplacement des bibliothèques.
Plus d'informations
Il existe deux façons de modifier les paramètres de configuration de BlueJ :
- Pour modifier les options utilisateur, lorsque l’application est ouverte, sélectionnez BlueJ dans la barre de menus, puis Preferences.... Vous pouvez modifier les paramètres dans cette boîte de dialogue.
- Pour modifier les options administrateur, ouvrez le fichier situé à l’emplacement suivant : BLUEJ_HOME/lib/bluej.defs. Sur un Mac, cliquez avec le bouton droit sur l’application BlueJ, sélectionnez Show Package Contents, puis Contents, puis Resources, puis Java. Vous devriez alors voir le fichier bluej.defs ainsi que d’autres fichiers DEFS.
Une fois le fichier DEFS ouvert, il contient une liste de propriétés au format suivant : property-name = value
Le nom de la propriété ne doit jamais être modifié, mais les valeurs peuvent l’être pour modifier la configuration.
Noms de fichiers .DEFS courants
bluej.defs - Le fichier de paramètres par défaut situé dans le programme BlueJ.