How to use
time
method
in
org.jline.reader.History$Entry

Best Java code snippets using org.jline.reader.History$Entry.time (Showing top 3 results out of 315)

private String format(Entry entry) {
  if (reader.isSet(LineReader.Option.HISTORY_TIMESTAMPED)) {
    return Long.toString(entry.time().toEpochMilli()) + ":" + escape(entry.line()) + "\n";
  }
  return escape(entry.line()) + "\n";
}

if (opt.isSet("d")) {
  sb.append("  ");
  LocalTime lt = LocalTime.from(entry.time().atZone(ZoneId.systemDefault()))
      .truncatedTo(ChronoUnit.SECONDS);
  DateTimeFormatter.ISO_LOCAL_TIME.formatTo(lt, sb);

if (opt.isSet("d")) {
  sb.append("  ");
  LocalTime lt = LocalTime.from(entry.time().atZone(ZoneId.systemDefault()))
      .truncatedTo(ChronoUnit.SECONDS);
  DateTimeFormatter.ISO_LOCAL_TIME.formatTo(lt, sb);