Adding Pro Micro 5V board to Arduino on linux

I’m back at playing with the Pro Micro 5V board, but I’m on a Chromebook running linux through a container. I used apt-get install arduino to install the Arduino IDE 1.8.13. The instructions on the sparkfun github page said to add the URL in the preferences screen and I did that. I watched the terminal window and the bottom of the IDE and got an error message in the IDE, so I fixed the typo. I went into board manager and searched for “sparkfun” but nothing.

Is there a way to manually add the board files? Where would I put the files?

I took a chance with the default boards and chose “Arduino Micro”. It’s a bit clunky because at some point chromebook asks me to connect USB to linux again. So, I quickly clicked connect and it uploaded and ran the blinky sketch, but it doesnt blink. I was able to upload a string example and it works too.

I would still like to have the correct board definition stuff if possible. How?

Ahhhh, always a rabbit hole.

which URL did you use ?

can you copy from the preference windo ALL the URL’s (sometimes there is a conflict)

Thanks for the reply. I only have one URL in the preferences.

https://raw.githubusercontent.com/spark … index.json

I’m not sure but is it possible the problem is https ?

When I bring up terminal window, it has an option to add SSH but I don’t understand the options it wants. I also see a box in terminal options for adding a SSH host.

Taking a chance on Arduino Micro probably redfines some pins or something, but it does load a simple sketch that seems to work.

The problem is solved I think. I added the link to the terminal options list of SSH hosts and watched the terminal window with Arduino running. It was downloading a bunch and I looked closely and saw another typo. I had spelled “package” as “paclage”. The only reason I had typos is the cut and paste of the URL doesnt work with my Arduino IDE on this linux.

Thanks for the help.

Proof of success. Fun stuff.