arduino-ide.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

post_install() {
  echo "
You may need to create a valid arduino-cli.yaml config for the IDE to work. You can generate one with

  arduino-cli config init

And then you must provide two additional settings in the config:

  sketchbook_path:
  arduino_data:

To configure manually you can place the following example under ~/.arduino15/arduino-cli.yaml

board_manager:
  additional_urls: []
daemon:
  port: "50051"
directories:
  data: /home/USERNAME/.arduino15
  downloads: /home/USERNAME/.arduino15/staging
  user: /home/USERNAME/Arduino
sketchbook_path: /home/USERNAME/Arduino/SKETCHES
arduino_data: /home/USERNAME/.arduino15
logging:
  file: ""
  format: text
  level: info
"
}