Informationen zur SD-Speicherkarte des Raspberry Pi ermitteln

Meist weiß man, wie viel Kapazität eine SD-Speicherkarte hat. Ist schließlich auf der Oberseite aufgedruckt. Doch wie viel davon ist noch frei? Das ist insbesondere dann eine interessante Frage, wenn schon mehrfach Software nachinstalliert wurde und laufend neue Daten gespeichert werden.