Description

I'd like (and can start work on) a home-manager module to configure the Theia-based Arduino IDE. Much like other editors, like Zed and VS Code, Arduino IDE v2 stores its settings in two files: settings.json and keymaps.json. These are located in $HOME/.arduinoIDE. However, a lot of settings are shared wih Arduino CLI and stored in $HOME/.arduinoIDE/arduino-cli.yaml.