Record Class IdAShellConfiguration

java.lang.Object
java.lang.Record
com.io7m.idstore.shell.admin.IdAShellConfiguration
Record Components:
locale - The locale
terminal - The terminal

public record IdAShellConfiguration(Locale locale, Optional<org.jline.terminal.Terminal> terminal) extends Record
The shell configuration.