Merge pull request #113 from nkaaf/fixing_some_typos

typos

build_platform.py

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

doxy_gen_and_deploy.sh

@@ -180,7 +180,7 @@ if [ -d "html" ] && [ -f "html/index.html" ]; then
       -m "Commit: ${COMMIT_SHA1}"$'\n'"${BUILD_ID}"
 
     # 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.
     echo 'Git pushing'
     git push --force "https://${AUTH}@github.com/${REPO_SLUG}.git" > /dev/null 2>&1