Re: Regarding timestamp in _remote.repositories

2023-06-06 Thread Michael Osipov
Am 2023-06-06 um 20:40 schrieb Eric Lilja: I didn't know that the datetime string in _remote.repositories was an artifact of the behavior of a JDK class (or Properties.store(), more specifically). Interesting. That also implies it is not processed by anything. Thanks. It has been a pain in the

Re: Regarding timestamp in _remote.repositories

2023-06-06 Thread Eric Lilja
I didn't know that the datetime string in _remote.repositories was an artifact of the behavior of a JDK class (or Properties.store(), more specifically). Interesting. That also implies it is not processed by anything. Thanks. - Eric L On Tue, Jun 6, 2023 at 6:30 PM Michael Osipov wrote: > Am 20

Re: Regarding timestamp in _remote.repositories

2023-06-06 Thread Michael Osipov
Am 2023-06-06 um 14:14 schrieb Eric Lilja: Hello everyone, the timestamp (e.g., #Tue Jun 06 01:59:04 CEST 2023) in the _remote.repositories file, is that just for human consumption or is it processed? If only as a courtesy for humans, can its generation be disabled somehow? 5 seconds of Google:

Regarding timestamp in _remote.repositories

2023-06-06 Thread Eric Lilja
Hello everyone, the timestamp (e.g., #Tue Jun 06 01:59:04 CEST 2023) in the _remote.repositories file, is that just for human consumption or is it processed? If only as a courtesy for humans, can its generation be disabled somehow? Best regards, Eric Lilja