[skip changelog] Fix some docs and comments

arduino · silvanocerza · Jun 18, 2021 · Jun 17, 2021 · Jun 17, 2021 · Jun 17, 2021
commit 1106bb644c6677e5bb010587d8dd35b5cb26cd1f
diff --git a/arduino/cores/packagemanager/loader.go b/arduino/cores/packagemanager/loader.go
@@ -395,18 +395,18 @@ func (pm *PackageManager) loadBoards(platform *cores.PlatformRelease) error {
 			}
 		}
 		// The board's ID must be available in a board's properties since it can
-		// be used in all configuration files for several reasons, like settings compilation
+		// be used in all configuration files for several reasons, like setting compilation
 		// flags depending on the board id.
 		// For more info:
-		// https://arduino.github.io/arduino-cli/latest/platform-specification/#global-predefined-properties
+		// https://arduino.github.io/arduino-cli/dev/platform-specification/#global-predefined-properties
 		boardProperties.Set("_id", boardID)
 		board = platform.GetOrCreateBoard(boardID)
 		board.Properties.Merge(boardProperties)
 	next_board:
 	}
 
 	if len(skippedBoards) > 0 {
-		return fmt.Errorf("skip loading of boards %s: malformed custom board options", strings.Join(skippedBoards, ", "))
+		return fmt.Errorf("skipping loading of boards %s: malformed custom board options", strings.Join(skippedBoards, ", "))
 	}
 
 	return nil

diff --git a/test/test_core.py b/test/test_core.py
@@ -709,6 +709,6 @@ def test_core_with_wrong_custom_board_options_is_loaded(run_command, data_dir):
         "Error initializing instance: "
         + "loading platform release arduino-beta-dev:platform_with_wrong_custom_board_options@4.2.0: "
         + "loading boards: "
-        + "skip loading of boards arduino-beta-dev:platform_with_wrong_custom_board_options:nessuno: "
+        + "skipping loading of boards arduino-beta-dev:platform_with_wrong_custom_board_options:nessuno: "
         + "malformed custom board options"
     ) in res.stderr