/var/log peut se remplir avec le temps également. Autre piste : apt-get clean pour supprimer le cache de paquetages. Il peut y avoir quelques centaines de Mo à reprendre.
Le 25 avril 2017 00:23:32 GMT+02:00, Yannick <yann...@voyeaud.org> a écrit : >Le 24/04/2017 à 20:46, Yannick a écrit : >> Bonsoir, >> >> Il me faut re-dimensionner une partition. Comment me suggérez-vous de >> faire en graphique!? >> >> Le disque dur concerné est coupé en deux partition / et /home >> Je DOIS agrandir / car il semble que la place commence à manquer. >> >> Ne voulant pas tout casser je veux des conseils et surtout un mode >> opératoire. >> Pour information Gparted est installé sur la machine. >> Ce qui me fait peur est de démonter une partition utilisée et c'est >pour >> cela que je fais appel à votre sagacité. >> >> Amitiés >> > >Bonsoir, > >Merci à tous ceux qui m'ont répondu. >Bon de ce que je vois il va me falloir y aller en force! >Donc le plus simple est de me refaire une install avec Scretch pour >tout >remettre en ordre. > >Par contre je ne comprend pas ce qui me bouffe la place sur la >partition. Certes il faut vider le /tmp mais bon ce n'est de toute >évidence pas suffisant. > >Amitiés > > >-- >Yannick VOYEAUD >Nul n'a droit au superflu tant que chacun n'a pas son nécessaire >(Camille JOUFFRAY 1841-1924, maire de Vienne) >http://www.voyeaud.org >Créateur CimGenWeb: http://www.francegenweb.org/cimgenweb/ >Journées du Logiciel Libre: http://jdll.org >Généalogie en liberté avec Ancestris http://www.ancestris.org >Aidez Ancestris à aller au Havre >https://www.helloasso.com/associations/ancestris/collectes/le-havre-2017 -- Envoyé de mon appareil Android avec Courriel K-9 Mail. Veuillez excuser ma brièveté.