I want to use the Arduino IDE using a raspberry pi with raspbian OS because it's the only way I can read a Digispark usb (I don't have 2.0 usb ports in my laptop so I can't read the usb with it).
I installed arduino IDE 1.8.13 so I can add the Digistump package. The problem I got is that when I try to add the drivers from the link
http://digistump.com/package_digistump_index.json, it returns
Tool micronucleus is not available for your operating system..
I donwloaded micronucleus using
git clone https://github.com/micronucleus/micronucleus
and installed it. Now I have it but I don't know how the arduino IDE could detect it. Could someone help me on how to make the arduino IDE understand I have it (micronucleus) installed?