https://github.com/rodan/ds3231 is not a valid "Additional Boards Manager URL" preference item. This preference is used to list the URLs of the package indexes of 3rd party Arduino boards platforms, such as the other two valid URLs for the Digistump and attiny package indexes. https://github.com/rodan/ds3231 is the home page of an Arduino library's GitHub repository, so has no business being in this preference.
Previous to 2.0.0-rc7, the Arduino IDE was able to handle such invalid preferences gracefully, but that ability was lost inadvertently. The developers are tracking it here:
But this URL never served any purpose, so there is no need to wait for the developers to fix that issue. You can quickly fix it yourself just by removing the invalid item from the preferences. I'll provide instructions:
Start the Arduino IDE.
Select File > Preferences... from the Arduino IDE menus.
Click the button on the right side of the "Additional Boards Manager URLs" field.
Delete this line from the preference:
https://github.com/rodan/ds3231
Click the OK button on the "Additional Boards Manager URLs" dialog.
Click the OK button on the "Preferences" dialog.
Select File > Quit from the Arduino IDE menus.
Start the Arduino IDE again.
The Arduino IDE should now be in a fully functional state.
That was exactly the issue. Thank you for your help. It would be nice if it ignored issues like that, and flagged them, in the IDE rather than failing.
You are welcome. I'm glad if I was able to be of assistance.
I agree 100%, and have requested this in the issue report linked above. The IDE should be resilient to bad external data, which might be caused in this case by either an invalid setting or even a valid setting subject to a transient network fault, while also clearly communicating the problem to the user (rather than ignoring it silently).