Salut,
Le contexte : je mets à jour l'ordi de mes parents (150km de chez moi) de Ubuntu 16.04 à 18.04 (ouais c'est pas bien, je suis un mauvais sysadmin en plus d'un mauvais fils… mais bon, ça marche tellement bien).
J'avais partitionné à l'époque une partition /boot dédiée de 100Mo. Encore une mauvaise idée, mais passons. La mise à jour ne passe pas, il faut 100Mo de libre dans cette partition.
Je voudrais donc ne plus utiliser cette partition (…)