user37223: I wish to obtain unix epoch timestamps in millisecond precision. I am using an ESP32 along with DS3231 RTC breakout board from adafruit.
Apparently the Repository is not maintained often but I see a PR which overcomes the rollover for software timer and the developer provided a patch in the comment to use the unix timestamps in ms.
I went to the libraries folder where all the downloaded adafruit repos exist. But when I did  git status it mentions that the library download (from the library manager) is not a git repository.
I wan't to inculcate the changes to the RTClib library by using the patch provided. Should I just change the code directly via the Arduino IDE editor?

user7508: Save the patch to a file, put it in the directory holding the library,
open a terminal on that directory and type:
patch -p1 < patchfile

You may have to install the "patch" utility if you don't have it yet. On
a Debian-like OS (I don't know for other OSes):
sudo apt install patch


37223: <p>I wish to obtain unix epoch timestamps in millisecond precision. I am using an ESP32 along with <strong>DS3231</strong> RTC breakout board from adafruit.</p>

<p>Apparently the Repository is not maintained often but I see a <a href="https://github.com/adafruit/RTClib/pull/92" rel="nofollow noreferrer">PR</a> which overcomes the rollover for software timer and the developer provided a patch in the comment to use the unix timestamps in ms.</p>

<p>I went to the <code>libraries</code> folder where all the downloaded adafruit repos exist. But when I did  <code>git status</code> it mentions that the library download (from the library manager) is not a git repository.</p>

<p>I wan't to inculcate the changes to the <code>RTClib</code> library by using the patch provided. Should I just change the code directly via the Arduino IDE editor?</p>
 7508: <p>Save the patch to a file, put it in the directory holding the library,
open a terminal on that directory and type:</p>

<pre><code>patch -p1 &lt; patchfile
</code></pre>

<p>You may have to install the "patch" utility if you don't have it yet. On
a Debian-like OS (I don't know for other OSes):</p>

<pre><code>sudo apt install patch
</code></pre>
