Je m'aperçois après avoir déjà installé pas mal de choses que la partition sur laquelle a été installée Mint 18.1 xfce est un peu trop juste pour d'éventuels rajouts de paquets ultérieurs, voire des réactualisations.
J'ai essayé d'augmenter avec la version live sur clé USB du même OS et gparted la prtition Linux en réduisant une partistion voisine. L'opération fonctionne apparemment bien, Gparted n'indique aucun problème... saut qu'après, rien n'a changé...
Dois-je démonter la partition Linux? Mais pourrai-je ensuite la remonter et récupérer ainsi tout mon système déjà installé et paramétré?
Merci d'avance pour tout conseil
