JMRI: System Properties

# JMRI: Propriétés du Système

Cette page liste les propriétés du système que JMRI utilise.

## Propriétés Système d'Exploitation

os.name
  La plupart de JMRI est indépendant du système, mais dans quelques endroits nous fournissons le code spécifique au système pour personnaliser l'expérience de l'utilisateur. C'est la propriété que nous utilisons pour dire quel type de système d'exploitation est en cours d'utilisation.

  Par exemple, on localise le répertoire préférences dans des lieux différents selon le type de système.

user.dir
  Java définit celui-ci pour être le répertoire dans lequel JMRI est exécuté. JMRI l'utilise pour trouver bon nombre de ses dossiers; cette propriété ne devrait pas être changé par l'utilisateur!
user.home
  Java définit celui-ci comme le répertoire "home" de l'utilisateur actuel. JMRI l'utilise, sur certains systèmes, pour localiser les emplacements par défaut pour le répertoire des préférences.

### Propriétés JMRI

jmri.prefsdir
  En définissant cette propriété, vous pouvez définir explicitement où JMRI doit chercher le répertoire de préférence.
jmri.inset.height
  Si elle est définie, fournit une valeur minimum d'encart pour la hauteur de la fenêtres JMRI. L'encart est l'espace alloué pour les décorations en haut et en bas de l'écran. Mettez lui un nombre entier positif N pour s'assurer que les fenêtres JMRI seront ouvertes avec N pixels disponibles en haut et/ou en bas.

  -Djmri.inset.height=45

jmri.inset.width
  Si elle est définie, fournit une valeur minimum d'encart pour la largeur de fenêtres JMRI. L'encart est l'espace alloué pour les décorations sur les côtés de l'écran. Mettez lui un nombre entier positif N pour s'assurer que les fenêtres JMRI seront ouvertes avec N pixels disponibles sur les côtés