#237 PR `merged`: Fix installing grub when /boot is inside the root filesystem¶

dagwieers opened issue at 2013-06-07 20:20:¶

This fixes simplifies the code by using df in order to find the filesystem name (mountpoint) of a path and using this to determine whether /boot is in the root filesystem.

This change patches both grub and grub2 (since it was copied from grub).

This fixes #210.

[Export of Github issue for rear/rear.]

#237 PR merged: Fix installing grub when /boot is inside the root filesystem¶

dagwieers opened issue at 2013-06-07 20:20:¶

#237 PR `merged`: Fix installing grub when /boot is inside the root filesystem¶