Rp2040:* vanished from boards list -- how to repair?

[myklemykle]

Something has happened to my arduino configuration & I can't seem to reset it. I was experimenting with replacing the arduino-ide-installed version of Philhower's arduino-pico core with a git clone of the same files ... the arduino system reacted badly to that.

Now I've given up on all that & i'm just trying to get the IDE to reinstall that board package the way it used to be installed.

However, the 2.X IDE does not offer the package as an option any more, even though the URL for it is still added to the Board Manager. Is there a way to tell arduino to refresh its list of boards?

The 1.X IDE did still show the package as an option, so I installed it with that. The files all seem to be installed in the normal spots.

But 2.3 still doesn't see the package. And arduino-cli (which is all I usually use) still doesn't list any of the rp2040:* FQDNs.

Is there any easier way to get this working again than to delete and reinstall my entire Arduino installation and all my preferences?

[Koepel]

In Windows 11 ?

Which problem did you try to solve by using the Philhower's core ?

No one knows what you did, so I suggest to remove everything and make a fresh install.
Uninstall it first. Then remove the Arduino folder from the Program Files. Then remove the hidden "arduino15" folder.
Keep only your Arduino projects in the "Documents / Arduino" folder. Check the "libraries" folder there for unused libraries or libraries that are already part of the libraries included with the Arduino IDE.

Then install Arduino 2.3.