public interface ShellHistory
| Modifier and Type | Method and Description |
|---|---|
void |
setHistory(List<String> lines) |
void |
setHistoryOutputStream(OutputStream stream) |
void |
writeToHistory(String command) |
void writeToHistory(String command)
void setHistoryOutputStream(OutputStream stream)
Copyright © 2013 JBoss by Red Hat. All Rights Reserved.