Following the instructions I fail at the point of searching in the board manager for the stm32duino as the following error occurs: Error downloading https://github ...
We used the Makefile with the Arduino IDE version 1.0.5 until now and wanted to update to the newest version 1.8.19 now. expr: syntax error [COMPUTED] DEVICE_PATH ...