history = new InMemoryHistory(settings.getHistorySize());
completionList = new ArrayList<Completion>();
//enable completion for redirection
completionList.add(new RedirectionCompletion());
//enable aliasing
if(settings.isAliasEnabled()) {
logger.info("enable aliasmanager with file: "+settings.getAliasFile());
aliasManager = new AliasManager(settings.getAliasFile(), settings.doPersistAlias(), settings.getName());