Disque plein... comment le vider

Bonjour

Effectivement, mon /root est bien lourd. Et j’ai bien un répertoire .rustup de 1.5G !!!

J’ai trouvé un post qui mentionne le souci avec ce répertoire. Apparemment, on peut supprimer ce répertoire dixit le support

Donc je vais y aller