Possible, mais si le serveur n’a jamais eu de ./launcher cleanup, il pourrait s’agir de vieilles images qui encombrent l’espace. Il semble qu’il ait été créé à partir d’une installation en un clic, donc la section de maintenance du serveur de l’installation standard a peut-être été ignorée.
J’aimerais bien voir la sortie de docker images pour confirmer, mais s’il y a une image orpheline qui peut être supprimée, et que cela libère suffisamment d’espace pour le remettre en ligne et sur la bonne voie de maintenance, cela donnerait une image plus claire.
Mais vous avez raison, le redimensionnement pourrait être plus simple.