Как узнать версию ядра Arduino и ее местоположение на ноутбуке Ubuntu?

Bakground:

При составлении демо-проекта по электронной бумаге у меня возникла такая проблема

./GxEPD/src/GxIO/GxIO_SPI/GxIO_SPI.h:39:5: error: ‘SPISettings’ does not name a type
     SPISettings _spi_settings;
     ^

что в Интернете люди часто говорят, что ваше ядро Arduino не является современным и установлено с

sudo apt install arduino-core

это древность. И вы должны установить последнюю версию.

Независимо от того, решает ли это мою первоначальную проблему или нет, я хочу иметь на своем ноутбуке новейшее ядро Arduino. От arduino.cc Я схватил папку на молнии и побежал ./install.sh что не дало достаточных результатов, чтобы знать, что именно он сделал. Теперь я обеспокоен тем, что у меня есть несколько установок в нескольких местах.

Главный вопрос:

Когда я запускаю свой файл make и он обрабатывается arduino-mk, на какую версию arduino-core он ссылается и где он находится?

Я ищу метод полного доказательства. Я не хочу случайно открывать что-то из каталога /. Потому что, может быть, это не arduino-core в использовании.