Чтение даты из git.properties с использованием gitProperties.get ()

Question

есть плагин git commit id в загрузочном приложении. Когда я пытаюсь прочитать build.time из файла git.properties, он возвращается в виде строки, в любом случае мы можем получить его как дату?

gitProperties.get("build.time");

это печатается в миллисекундах, я могу преобразовать это в секунды, используя Instant, но есть ли более прямой путь?

Answer 1

Нет другого прямого способа сделать это, поскольку документация плагина говорит, что

dateFormat - (по умолчанию: гггг-ММ-дд'Т'ХЧ: мм: ссЗ) - это обычная строка SimpleDateFormat, которая будет использоваться для представления git.build.time и git.commit.time, и вы можете конвертировать ее с помощью пользователя. требуемый формат с использованием простых форматов даты.