Si vous ne démarrez pas la partition (est-ce même possible sans utiliser wubi?) Et qu'elle est au moins à moitié gratuite, utilisez simplement gparted (collez apt: gparted dans firefox).
- Exécutez-le à partir du menu.
- Découvrez le nom de votre partition à l'aide
fdisk -l
d'un terminal. La partition nommée quelque chose comme / dev / sda * où * est un nombre. Ou parcourez la liste dans le coin supérieur droit de gparted
- Redimensionnez la partition fat32 à moins de la moitié de sa taille d'origine
- Créer une nouvelle partition ext *
- Déplacer tous les fichiers vers la partition ext
- Supprimez l'ancienne et redimensionnez la partition ext.
Notez que je l'ai fait plusieurs fois et que cela a toujours fonctionné comme prévu. Cependant, il existe de nombreux rapports de personnes qui ont perdu des données de cette façon. Selon la quantité de données, vous pouvez utiliser Ubuntu One ou Dropbox pour sauvegarder vos données. Ils offrent tous les deux 2 Go, ce qui n'est probablement pas suffisant.