File tree Expand file tree Collapse file tree 3 files changed +6
-2
lines changed
Expand file tree Collapse file tree 3 files changed +6
-2
lines changed Original file line number Diff line number Diff line change 11181118 <target name =" package-library-index-json-bundle" >
11191119 <mkdir dir =" ${ staging_folder } /work/${ staging_hardware_folder } /../dist/" />
11201120
1121+ <get src =" http://downloads.arduino.cc/packages/test_package_arm_index.json" dest =" ${ staging_folder } /work/${ staging_hardware_folder } /../dist/package_index.json" verbose =" true" skipexisting =" false" />
1122+ <!--
11211123 <get src="http://downloads.arduino.cc/packages/package_index.json.gz" dest="${staging_folder}/work/${staging_hardware_folder}/../dist/" verbose="true" skipexisting="false" />
11221124 <gunzip src="${staging_folder}/work/${staging_hardware_folder}/../dist/package_index.json.gz" dest="${staging_folder}/work/${staging_hardware_folder}/../dist/"/>
11231125 <delete file="${staging_folder}/work/${staging_hardware_folder}/../dist/package_index.json.gz"/>
1124-
1126+ -->
11251127 <get src =" http://downloads.arduino.cc/packages/package_index.json.sig" dest =" ${ staging_folder } /work/${ staging_hardware_folder } /../dist/" verbose =" true" skipexisting =" false" />
11261128
11271129 <get src =" http://downloads.arduino.cc/libraries/library_index.json.gz" dest =" ${ staging_folder } /work/${ staging_hardware_folder } /../dist/" verbose =" true" skipexisting =" false" />
Original file line number Diff line number Diff line change @@ -31,5 +31,7 @@ if [[ "$@" != *"--upload"* && "$@" != *"--verify"* && "$@" != *"--get-pref"* &&
3131 JAVA_OPTIONS+=(" -splash:$APPDIR /lib/splash.png" )
3232fi
3333
34+ JAVA_OPTIONS+=(" -DPACKAGE_INDEX_URL=http://downloads.arduino.cc/packages/test_package_arm_index.json" )
35+
3436" $JAVA " " ${JAVA_OPTIONS[@]} " processing.app.Base " $@ "
3537
Original file line number Diff line number Diff line change @@ -275,4 +275,4 @@ editor.languages.current =
275275
276276# Disable signature check on packages_index.json, use only for
277277# development/debugging purposes. Do not enable in production.
278- # allow_insecure_packages=true
278+ allow_insecure_packages=true
You can’t perform that action at this time.
0 commit comments