1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00

9 Commits

Author SHA1 Message Date
Federico Fissore
62e5e0186f Code cleanup 2015-06-25 10:40:29 +02:00
Federico Fissore
ea92393569 CLI: fail if selected board does not exist. Fixes #3417 2015-06-25 10:40:28 +02:00
Federico Fissore
84d10a8ea0 Some CLI args are parsed before initializing packages. --board argument is parsed after. Fixes #3261 2015-06-05 17:18:50 +02:00
Federico Fissore
935becec64 Command line --get-pref may be used without name of the target pref.
If pref name is missing, all prefs are printed on stdout.
Should fix/mitigate #2982
2015-05-29 15:16:51 +02:00
Federico Fissore
96c4576962 Added --preserve-temp-files command line option 2015-04-15 11:00:01 +02:00
Federico Fissore
87e2e68b85 CLI: Board and Lib Manager, syntax change: --install-boards (plural) and arduino:avr:1.6.2 (with the arch, not the name of the selected platform) 2015-04-09 13:03:43 +02:00
Federico Fissore
09255254d7 Preliminary command line support to boards manager and library manager 2015-04-08 15:15:41 +02:00
Federico Fissore
aca6c223de MacOSX: previous better IDE was missing some pieces. Added 2015-03-04 11:23:36 +01:00
Cristian Maglie
ba8eadeeb5 Split IDE into 2 projects.
BEWARE: HIGHLY EXPERIMENTAL BRANCH
2014-11-13 16:34:24 +01:00