Ubuntu 20.04: Add unmount step to GRUB errata

It is possible that /boot/grub is mounted.

Reported-by: Larry Wagner <larrywagner0@gmail.com>
Signed-off-by: Richard Laager <rlaager@wiktel.com>
This commit is contained in:
Richard Laager
2020-06-10 23:33:39 -05:00
parent 933a4c6d37
commit 58104f6781

View File

@@ -34,6 +34,9 @@ completed it. Do not reboot until you have completed all of the steps.
#. Rename the dataset:: #. Rename the dataset::
umount /boot/grub
# Ignore any error about it not being mounted.
rm -rf /boot/grub rm -rf /boot/grub
zfs list -r bpool zfs list -r bpool