Installing Arduino IDE

wget --quiet "https://downloads.arduino.cc/arduino-ide/arduino-ide_2.3.10_Linux_64bit.zip"
unzip "arduino-ide_2.3.10_Linux_64bit.zip"
mv "arduino-ide_2.3.10_Linux_64bit" "$HOME/.local/arduino-ide"
rm --force "arduino-ide_2.3.10_Linux_64bit.zip"

mkdir -p "$HOME/.local/share/applications"

tee "$HOME/.local/share/applications/arduino-ide.desktop" >/dev/null <<EOF
[Desktop Entry]
Name=Arduino IDE
Comment=Arduino Integrated Development Environment
Exec=$HOME/.local/arduino-ide/arduino-ide
Icon=$HOME/.local/arduino-ide/resources/app/resources/icons/512x512.png
Terminal=false
Type=Application
Categories=Development;IDE;Electronics;
StartupWMClass=Arduino IDE
EOF

Permissions

sudo gpasswd --add <username> dialout

SparkFun Pro Micro

File -> Preferences -> Settings -> Additional board manage URLS

= https://raw.githubusercontent.com/sparkfun/Arduino_Boards/main/IDE_Board_Manager/package_sparkfun_index.json

Tools -> Board -> Board Manager

Search = SparkFun AVR Boards -> Install

Tools -> Board -> SparkFun AVR Boards -> SparkFun Pro Micro