@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();
 }