ich hatte jetzt noch eine idee:

das verzeichnis ".arduino15" - wird übrigens - wenn man es löscht - mit genau dem gleichen namen wieder angelegt. (Daher der name - wie heisst den das verzeichis bei dir??) Da sind z.b. die preferences drin. Im gegensatz zu dem verzeichnis "Arduino" - wo die libraries und programme sind. Das löschen des ".arduino15" verzeichnisses soll bei bestimmten problemen helfen, hier nicht. Ich musste zwar die unterstützung für ESP8266 neu installieren, dauerte diesmal auch etwas länger, half aber beim flash-problem nicht...