Class BootstrapSettings


  • public class BootstrapSettings
    extends java.lang.Object
    Enthaelt initiale Einstellungen, die in ~/.jameica.properties gespeichert sind. Das ist z.Bsp. die Historie der zuletzt ausgewaehlten Benutzerverzeichnisse.
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void addHistory​(java.lang.String dir)
      Fuegt ein Verzeichnis zur Benutzerverzeichnis-History hinzu.
      static boolean getAskWorkdir()
      Prueft, ob beim Start nach dem zu verwendenden Benutzerordner gefragt werden soll.
      static java.util.List<java.lang.String> getHistory()
      Liefert die aktuelle History.
      static java.lang.String getProperty​(java.lang.String name, java.lang.String defaultValue)
      Liefert den Wert des angegebenen Property.
      static void setAskWorkdir​(boolean b)
      Legt fest, ob beim Start nach dem zu verwendenden Benutzerordner gefragt werden soll.
      static void setProperty​(java.lang.String name, java.lang.String value)
      Speichert den Wert zum angegebenen Property.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • BootstrapSettings

        public BootstrapSettings()
    • Method Detail

      • addHistory

        public static void addHistory​(java.lang.String dir)
        Fuegt ein Verzeichnis zur Benutzerverzeichnis-History hinzu.
        Parameters:
        dir - das hinzuzufuegende Verzeichnis
      • getHistory

        public static java.util.List<java.lang.String> getHistory()
        Liefert die aktuelle History.
        Returns:
        die aktuelle History.
      • getProperty

        public static java.lang.String getProperty​(java.lang.String name,
                                                   java.lang.String defaultValue)
        Liefert den Wert des angegebenen Property.
        Parameters:
        name - Name des Property.
        defaultValue - Default-Wert, falls der Wert nicht in der Datei existiert.
        Returns:
        der Wert des Property oder der Default-Wert, wenn er nicht in der Datei existiert.
      • setProperty

        public static void setProperty​(java.lang.String name,
                                       java.lang.String value)
        Speichert den Wert zum angegebenen Property. Die Aenderung wird sofort in der Datei gespeichert.
        Parameters:
        name - Name des Property.
        value - Wert des Property.
      • getAskWorkdir

        public static boolean getAskWorkdir()
        Prueft, ob beim Start nach dem zu verwendenden Benutzerordner gefragt werden soll.
        Returns:
        true, wenn gefragt werden soll (default).
      • setAskWorkdir

        public static void setAskWorkdir​(boolean b)
        Legt fest, ob beim Start nach dem zu verwendenden Benutzerordner gefragt werden soll.
        Parameters:
        b - true, wenn gefragt werden soll.