public class SettingsBuilder extends Object
Constructor and Description |
---|
SettingsBuilder() |
SettingsBuilder(Settings baseSettings) |
public SettingsBuilder()
public SettingsBuilder(Settings baseSettings)
public SettingsBuilder name(String name)
public SettingsBuilder mode(Mode mode)
public SettingsBuilder historyFile(File history)
public SettingsBuilder historyFilePermission(FileAccessPermission fileAccessPermission)
public SettingsBuilder historySize(int size)
public SettingsBuilder bellStyle(String bellStyle)
public SettingsBuilder ansi(boolean ansi)
public SettingsBuilder inputStream(InputStream inputStream)
public SettingsBuilder outputStream(PrintStream outputStream)
public SettingsBuilder outputStreamError(PrintStream error)
public SettingsBuilder terminal(Terminal terminal)
public SettingsBuilder inputrc(File inputrc)
public SettingsBuilder logging(boolean logging)
public SettingsBuilder disableCompletion(boolean disableCompletion)
public SettingsBuilder logfile(String logFile)
public SettingsBuilder readInputrc(boolean readInputrc)
public SettingsBuilder disableHistory(boolean disableHistory)
public SettingsBuilder persistHistory(boolean persistHistory)
public SettingsBuilder aliasFile(File aliasFile)
public SettingsBuilder enableAlias(boolean enableAlias)
public SettingsBuilder persistAlias(boolean persistAlias)
public SettingsBuilder quitHandler(QuitHandler quitHandler)
public SettingsBuilder interruptHook(InterruptHook interruptHook)
public SettingsBuilder parseOperators(boolean parseOperators)
public SettingsBuilder enableMan(boolean enableMan)
public SettingsBuilder aeshContext(AeshContext aeshContext)
public SettingsBuilder enableExport(boolean enableExport)
public SettingsBuilder exportFile(File exportFile)
public SettingsBuilder setPersistExport(boolean persistExport)
public SettingsBuilder setExportUsesSystemEnvironment(boolean isLoad)
public SettingsBuilder setFileResource(Resource resource)
public SettingsBuilder setExecuteAtStart(String execute)
public SettingsBuilder setExecuteFileAtStart(Resource executeFile)
public Settings create()
Copyright © 2022 JBoss by Red Hat. All rights reserved.