arduino-cli 2022-05-28 Arduino CLI is pretty convenient and definitely better than the default Arduino IDE. Documentation is here: https://arduino.github.io/arduino-cli/ Generate configuration: $ arduino-cli config init Add custom boards to arduino-cli.yaml by modifying the additional_urls list:
board_manager:
  additional_urls: ["http://digistump.com/package_digistump_index.json"]
Update index and install the core: $ arduino-cli core update-index $ arduino-cli core search digistump $ arduino-cli core install digistump:avr Identify your Fully Qualified Board Name: $ arduino-cli board listall Compile and upload: $ arduino-cli compile -b digistump:avr:digispark-tiny sth.ino $ arduino-cli upload -b digistump:avr:digispark-tiny sth.ino For the upload to work with digispark-tiny board you will need to install micronucleus bootloader first. $ yay -S micronucleus In case you need it, here's a digispark troubleshooting page: http://digistump.com/wiki/digispark/tutorials/linuxtroubleshooting