How are you getting the board defs ?
and once it has them are you going to board manager to pull in the packages and do the required updates ?
Not a Linux guy (Win as you prob guessed from my last post) but these are settings in the prefs and the ide itself which is nearly identical in appearance.
As proof I am attaching a pic showing that I am disconnected from the internet along with the board selection available for ESP's
