lineReader.setVariable(LineReader.HISTORY_FILE, historyFilePath); LOGGER.info("Command history saved at: " + historyFilePath); } else {
lineReader.setVariable(LineReader.ERRORS, 1);
@Bean public History history(LineReader lineReader, @Value("${spring.application.name:spring-shell}.log") String historyPath) { lineReader.setVariable(LineReader.HISTORY_FILE, Paths.get(historyPath)); return new DefaultHistory(lineReader); }
@Bean @Primary public History history(LineReader lineReader, @Qualifier(HISTORY_FILE) File historyFile) { lineReader.setVariable(LineReader.HISTORY_FILE, historyFile.toPath()); return new DefaultHistory(lineReader); }
private static void setVar(LineReader reader, String key, String val) { if (LineReader.KEYMAP.equalsIgnoreCase(key)) { reader.setKeyMap(val); return; } for (LineReader.Option option : LineReader.Option.values()) { if (option.name().toLowerCase(Locale.ENGLISH).replace('_', '-').equals(val)) { if ("on".equalsIgnoreCase(val)) { reader.setOpt(option); } else if ("off".equalsIgnoreCase(val)) { reader.unsetOpt(option); } return; } } reader.setVariable(key, val); }
private static void setVar(LineReader reader, String key, String val) { if (LineReader.KEYMAP.equalsIgnoreCase(key)) { reader.setKeyMap(val); return; } for (LineReader.Option option : LineReader.Option.values()) { if (option.name().toLowerCase(Locale.ENGLISH).replace('_', '-').equals(val)) { if ("on".equalsIgnoreCase(val)) { reader.setOpt(option); } else if ("off".equalsIgnoreCase(val)) { reader.unsetOpt(option); } return; } } reader.setVariable(key, val); }
@Override public String readLine(String prompt, Character mask) throws IOException { LineReader reader = LineReaderBuilder.builder() .terminal(jlineTerminal) .appName("karaf") .parser((line, cursor, context) -> new SimpleParsedLine(line, cursor)) .build(); reader.setOpt(LineReader.Option.DISABLE_EVENT_EXPANSION); reader.setVariable(LineReader.DISABLE_HISTORY, Boolean.TRUE); reader.setVariable(LineReader.DISABLE_COMPLETION, Boolean.TRUE); return reader.readLine(prompt, mask); }
@Override public String readLine(String prompt, Character mask) throws IOException { LineReader reader = LineReaderBuilder.builder() .terminal(jlineTerminal) .appName("karaf") .parser((line, cursor, context) -> new SimpleParsedLine(line, cursor)) .build(); reader.setOpt(LineReader.Option.DISABLE_EVENT_EXPANSION); reader.setVariable(LineReader.DISABLE_HISTORY, Boolean.TRUE); reader.setVariable(LineReader.DISABLE_COMPLETION, Boolean.TRUE); return reader.readLine(prompt, mask); }
private void setLineReaderHistoryIntVariable( String variableName, String value, SqlLineProperty property) { LineReader lineReader = sqlLine.getLineReader(); if (lineReader == null) { return; } int currentValue = getInt(property); try { if (DEFAULT.equals(value)) { if (currentValue == (Integer) property.defaultValue()) { return; } else { lineReader.setVariable(variableName, property.defaultValue()); lineReader.getHistory().save(); propertiesMap.put(property, property.defaultValue()); return; } } int parsedValue = Integer.parseInt(value); if (parsedValue == currentValue) { return; } else { lineReader.setVariable(variableName, parsedValue); lineReader.getHistory().save(); propertiesMap.put(property, parsedValue); } } catch (Exception e) { sqlLine.handleException(e); } }
private void setLineReaderHistoryIntVariable( String variableName, String value, SqlLineProperty property) { LineReader lineReader = sqlLine.getLineReader(); if (lineReader == null) { return; } int currentValue = getInt(property); try { if (DEFAULT.equals(value)) { if (currentValue == (Integer) property.defaultValue()) { return; } else { lineReader.setVariable(variableName, property.defaultValue()); lineReader.getHistory().save(); propertiesMap.put(property, property.defaultValue()); return; } } int parsedValue = Integer.parseInt(value); if (parsedValue == currentValue) { return; } else { lineReader.setVariable(variableName, parsedValue); lineReader.getHistory().save(); propertiesMap.put(property, parsedValue); } } catch (Exception e) { sqlLine.handleException(e); } }
Path historyPath = Paths.get(System.getenv(ENV_HOME), HISTORY_FILE); historyPath.toFile().createNewFile(); _reader.setVariable(LineReader.HISTORY_FILE, historyPath.toAbsolutePath().toString()); _reader .getTerminal()
public void setHistoryFile(String historyFile) { final String currentValue = get(HISTORY_FILE); if (Objects.equals(currentValue, historyFile) || Objects.equals(currentValue, Commands.expand(historyFile))) { return; } if (DEFAULT.equalsIgnoreCase(historyFile)) { set(HISTORY_FILE, DEFAULT); } else { propertiesMap.put(HISTORY_FILE, Commands.expand(historyFile)); } if (sqlLine != null && sqlLine.getLineReader() != null) { History history = sqlLine.getLineReader().getHistory(); if (history == null) { history = new DefaultHistory(); } else { try { history.save(); } catch (IOException e) { sqlLine.handleException(e); } } sqlLine.getLineReader() .setVariable(LineReader.HISTORY_FILE, get(HISTORY_FILE)); history.attach(sqlLine.getLineReader()); } }
public void setHistoryFile(String historyFile) { final String currentValue = get(HISTORY_FILE); if (Objects.equals(currentValue, historyFile) || Objects.equals(currentValue, Commands.expand(historyFile))) { return; } if (DEFAULT.equalsIgnoreCase(historyFile)) { set(HISTORY_FILE, DEFAULT); } else { propertiesMap.put(HISTORY_FILE, Commands.expand(historyFile)); } if (sqlLine != null && sqlLine.getLineReader() != null) { final History history = sqlLine.getLineReader().getHistory(); if (history != null) { try { history.save(); } catch (IOException e) { sqlLine.handleException(e); } } sqlLine.getLineReader() .setVariable(LineReader.HISTORY_FILE, get(HISTORY_FILE)); new DefaultHistory().attach(sqlLine.getLineReader()); } }
.parser(parser) .build(); reader.setVariable(LineReader.HISTORY_FILE, historyFile.toPath());
reader.setVariable(LineReader.HISTORY_FILE, file); String maxSizeStr = System.getProperty(SHELL_HISTORY_MAXSIZE); if (maxSizeStr != null) { reader.setVariable(LineReader.HISTORY_SIZE, Integer.parseInt(maxSizeStr)); reader.setVariable(LineReader.HISTORY_FILE_SIZE, Integer.parseInt(maxFileSizeStr));
reader.setVariable(LineReader.HISTORY_FILE, file); String maxSizeStr = System.getProperty(SHELL_HISTORY_MAXSIZE); if (maxSizeStr != null) { reader.setVariable(LineReader.HISTORY_SIZE, Integer.parseInt(maxSizeStr)); reader.setVariable(LineReader.HISTORY_FILE_SIZE, Integer.parseInt(maxFileSizeStr));