Verwaiste Docker-Images entfernen

Entfernt sogenannte dangling Images, erkennbar an <none> in docker images. Sie entstehen, wenn ein Tag nach docker pull oder einem neuen Build auf ein anderes Image zeigt. Docker fragt vor dem Löschen nach und meldet am Ende den freigegebenen Platz.

Hinweis: Mit -a werden zusätzlich alle Images gelöscht, die von keinem Container genutzt werden, auch lokal gebaute, die sich nicht erneut herunterladen lassen. Docker-Befehle brauchen root oder die Gruppe docker.