diff options
Diffstat (limited to 'source/installer/sources/initrd/sbin/mkbindmounts')
| -rwxr-xr-x | source/installer/sources/initrd/sbin/mkbindmounts | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/source/installer/sources/initrd/sbin/mkbindmounts b/source/installer/sources/initrd/sbin/mkbindmounts index 40a9d7313..897889847 100755 --- a/source/installer/sources/initrd/sbin/mkbindmounts +++ b/source/installer/sources/initrd/sbin/mkbindmounts @@ -5,6 +5,10 @@ # reinstall boot loaders). mkdir -p /mnt/{dev,proc,sys} -mount -o bind /dev /mnt/dev -mount -o bind /proc /mnt/proc -mount -o bind /sys /mnt/sys +mount -o rbind /dev /mnt/dev +mount -o rbind /proc /mnt/proc +mount -o rbind /sys /mnt/sys +# Needed for EFI boot menu operations: +if [ -d /sys/firmware/efi/efivars ]; then + mount -o rbind /sys/firmware/efi/efivars /mnt/sys/firmware/efi/efivars +fi |