Cannot find Arduino IDE

Hi, I'm trying to use VS Code for an arduino project, but I can't find a way to make it recognize the board. The arduino extension keeps saying it "Cannot find Arduino IDE". I've tried setting the different paths pointed to by the error messages with no success.

I'm using the flathub version of vs code, on a archlinux system, with arduino IDE installed directly with pacman.
Any help very welcome :)

Comece pelo erro “Cannot find Arduino IDE” da extensão do Arduino e pelos caminhos configurados; em seguida, compare o ambiente do VS Code em Flatpak com a Arduino IDE instalada pelo pacman no Arch Linux. Está concluído quando a extensão reconhece a IDE instalada e a placa.

Escrita pelo modelo de indexação a partir do texto da issue.