programs/arduino-cli.json

   1 {
   2     "files": [
   3         {
   4             "help": "You can move this to `$XDG_CONFIG_HOME/arduino15`.\n\nSpecify the new directories used by Arduino CLI in arduino-cli.yaml as mentioned in the documentation [here](https://arduino.github.io/arduino-cli/0.29/configuration/).\n\nAdd the following alias:\n```bash\nalias arduino-cli='arduino-cli --config-file $XDG_CONFIG_HOME/arduino15/arduino-cli.yaml'\n```\n\n_Relevant issue_: https://github.com/arduino/arduino-cli/pull/140\n",
   5             "movable": false,
   6             "path": "$HOME/.arduino15"
   7         }
   8     ],
   9     "name": "arduino-cli"
  10 }