File tree 2 files changed +5
-5
lines changed
2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -199,10 +199,10 @@ def run_or_die(cmd, error):
199
199
ColorPrint .print_info ('#' * 40 )
200
200
201
201
run_or_die ("arduino-cli core update-index --additional-urls " + BSP_URLS +
202
- " > /dev/null" , "FAILED to update core indecies " )
202
+ " > /dev/null" , "FAILED to update core indices " )
203
203
print ()
204
204
205
- ################################ Install dependancies
205
+ ################################ Install dependencies
206
206
our_name = None
207
207
try :
208
208
if IS_LEARNING_SYS :
@@ -218,13 +218,13 @@ def run_or_die(cmd, error):
218
218
dep = dep .strip ()
219
219
print ("Installing " + dep )
220
220
run_or_die ('arduino-cli lib install "' + dep + '" > /dev/null' ,
221
- "FAILED to install dependancy " + dep )
221
+ "FAILED to install dependency " + dep )
222
222
except OSError :
223
223
print ("No library dep or properties found!" )
224
224
pass # no library properties
225
225
226
226
# Delete the existing library if we somehow downloaded
227
- # due to dependancies
227
+ # due to dependencies
228
228
if our_name :
229
229
run_or_die ("arduino-cli lib uninstall \" " + our_name + "\" " , "Could not uninstall" )
230
230
Original file line number Diff line number Diff line change @@ -180,7 +180,7 @@ if [ -d "html" ] && [ -f "html/index.html" ]; then
180
180
-m " Commit: ${COMMIT_SHA1} " $' \n ' " ${BUILD_ID} "
181
181
182
182
# Force push to the remote gh-pages branch.
183
- # The ouput is redirected to /dev/null to hide any sensitive credential data
183
+ # The output is redirected to /dev/null to hide any sensitive credential data
184
184
# that might otherwise be exposed.
185
185
echo ' Git pushing'
186
186
git push --force " https://${AUTH} @github.com/${REPO_SLUG} .git" > /dev/null 2>&1
You can’t perform that action at this time.
0 commit comments