diff --git a/src/arduino/arduino.ts b/src/arduino/arduino.ts index 6d6f27b6..5a2ad3d9 100644 --- a/src/arduino/arduino.ts +++ b/src/arduino/arduino.ts @@ -876,9 +876,14 @@ export class ArduinoApp { stderr?: (s: string) => void}, ): Thenable { const additionalUrls = this.getAdditionalUrls(); + args = args.concat(["--additional-urls", additionalUrls.join(",")]) + const verbose = VscodeSettings.getInstance().logLevel === constants.LogLevel.Verbose; + if(verbose) { + arduinoChannel.channel.appendLine([this._settings.commandPath, ...args].join(" ")); + } return util.spawn( this._settings.commandPath, - args.concat(["--additional-urls", additionalUrls.join(",")]), + args, options, output); }