jepler/ci-arduino
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #113 from nkaaf/fixing_some_typos

Browse source 
typos
This commit is contained in:
Limor "Ladyada" Fried 2022-02-10 10:54:27 -05:00 committed by GitHub
commit 4ca170f09a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
build_platform.py
View file

@ -208,10 +208,10 @@ print("INSTALLING ARDUINO BOARDS")
ColorPrint.print_info('#'*40) ColorPrint.print_info('#'*40)
run_or_die("arduino-cli core update-index --additional-urls "+BSP_URLS+ run_or_die("arduino-cli core update-index --additional-urls "+BSP_URLS+
" > /dev/null", "FAILED to update core indecies") " > /dev/null", "FAILED to update core indices")
print() print()
################################ Install dependancies ################################ Install dependencies
our_name=None our_name=None
try: try:
if IS_LEARNING_SYS: if IS_LEARNING_SYS:
@ -227,13 +227,13 @@ try:
dep = dep.strip() dep = dep.strip()
print("Installing "+dep) print("Installing "+dep)
run_or_die('arduino-cli lib install "'+dep+'" > /dev/null', run_or_die('arduino-cli lib install "'+dep+'" > /dev/null',
"FAILED to install dependancy "+dep) "FAILED to install dependency "+dep)
except OSError: except OSError:
print("No library dep or properties found!") print("No library dep or properties found!")
pass # no library properties pass # no library properties
# Delete the existing library if we somehow downloaded # Delete the existing library if we somehow downloaded
# due to dependancies # due to dependencies
if our_name: if our_name:
run_or_die("arduino-cli lib uninstall \""+our_name+"\"", "Could not uninstall") run_or_die("arduino-cli lib uninstall \""+our_name+"\"", "Could not uninstall")

2
doxy_gen_and_deploy.sh
View file

@ -180,7 +180,7 @@ if [ -d "html" ] && [ -f "html/index.html" ]; then
-m "Commit: ${COMMIT_SHA1}"$'\n'"${BUILD_ID}" -m "Commit: ${COMMIT_SHA1}"$'\n'"${BUILD_ID}"
# Force push to the remote gh-pages branch. # Force push to the remote gh-pages branch.
# The ouput is redirected to /dev/null to hide any sensitive credential data # The output is redirected to /dev/null to hide any sensitive credential data
# that might otherwise be exposed. # that might otherwise be exposed.
echo 'Git pushing' echo 'Git pushing'
git push --force "https://${AUTH}@github.com/${REPO_SLUG}.git" > /dev/null 2>&1 git push --force "https://${AUTH}@github.com/${REPO_SLUG}.git" > /dev/null 2>&1