Class PklSettings


  • public final class PklSettings
    extends java.lang.Object
    Java representation of a Pkl settings file. A Pkl settings file is a Pkl module amending the pkl.settings standard library module. To load a settings file, use one of the static load methods.
    • Method Detail

      • loadFromPklHomeDir

        public static PklSettings loadFromPklHomeDir()
                                              throws VmEvalException
        Loads the user settings file (~/.pkl/settings.pkl). If this file does not exist, returns default settings defined by module pkl.settings.
        Throws:
        VmEvalException
      • getEditor

        public PklSettings.Editor getEditor()
        Returns the editor for viewing and editing Pkl files.
      • equals

        public boolean equals​(@Nullable java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object