Arduino-cli not showing boards


I am trying to use arduino-cli on NixOS, but, after giving

arduino-cli update

the command to list the boards is empty:

arduino-cli board listall

So I am wondering how the CLI detects the correct host platform, since I suppose this is a host (NixOS) configuration fault. I see other people using the cli successfully, so maybe I am missing a specific configuration.

Thank you,

Fixed, it was my fault.