Digitaler Unabhängigkeitstag bedeutet auch, sich mit den Folgen eines Wechsels zu beschäftigen. So war heute das Bootverzeichnis zu bereinigen, da es keinen freien Speicherplatz mehr hatte. Nachlesen, wie das geht, Terminal aufrufen, neu zu lernende Kommandos eintippen. Linux Mint ist halt doch etwas anders als seinerzeit Windows.