@Override
public void saveHistory(String commandLine, String result) {
if (commandHistory != null) commandHistory.saveHistory(commandLine, result);
}
@Override
public String showHistory() {
return commandHistory == null ? "history disabled" : commandHistory.showHistory();
}