Method dump

ci/compiler/platformio_ini.py:1008–1030

Write the configuration to a platformio.ini file. Args: file_path: Path to write the configuration to

(self, file_path: Path)

        return instance

    def dump(self, file_path: Path) -> None:
        """
        Write the configuration to a platformio.ini file.

        Args:
            file_path: Path to write the configuration to
        """

        # Write atomically using a temporary file
        temp_file = file_path.with_suffix(".tmp")
        try:
            with open(temp_file, "w", encoding="utf-8") as f:
                self.config.write(f)
            temp_file.replace(file_path)
            logger.debug(f"Successfully wrote platformio.ini: {file_path}")
        except KeyboardInterrupt as ki:
            handle_keyboard_interrupt(ki)
            raise
        except Exception as e:
            if temp_file.exists():
                temp_file.unlink()
            logger.error(f"Failed to write platformio.ini: {e}")
            raise

    def get_sections(self) -> list[str]:
        """