jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-07 20:56:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use fixed version 0.7.1 of the cli to avoid future breakage

Browse Source
This commit is contained in:
Miro Spönemann 2020-01-07 10:49:36 +01:00
parent 84be804df0
commit 7a89a8048f
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
arduino-ide-extension/scripts/download-cli.js
View File

@ -10,7 +10,7 @@
(() => {
const DEFAULT_VERSION = 'latest'; // require('moment')().format('YYYYMMDD');
const DEFAULT_VERSION = '0.7.1'; // require('moment')().format('YYYYMMDD');
const os = require('os');
const path = require('path');
@ -21,7 +21,7 @@
.option('cli-version', {
alias: 'cv',
default: DEFAULT_VERSION,
describe: `The version of the 'arduino-cli' to download with the YYYYMMDD format, or 'latest'. Defaults to ${DEFAULT_VERSION}.`
describe: `The version of the 'arduino-cli' to download, or 'nightly-latest'. Defaults to ${DEFAULT_VERSION}.`
})
.option('force-download', {
alias: 'fd',
@ -56,7 +56,7 @@
shell.exit(1);
}
const url = `https://downloads.arduino.cc/arduino-cli/nightly/arduino-cli_nightly-${version}_${suffix}`;
const url = `https://downloads.arduino.cc/arduino-cli${version.startsWith('nightly-') ? '/nightly' : ''}/arduino-cli_${version}_${suffix}`;
downloader.download(url, cli, 'arduino-cli', force);
})();