diff options
author | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-10-17 14:20:41 +0200 |
---|---|---|
committer | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-10-19 21:54:25 +0200 |
commit | 19c14d95b3261dd54c56686b5d11ef8008e99620 (patch) | |
tree | 60a94a29a373eb6149116124585b3bcddffcfb33 /gnu/installer.scm | |
parent | a3ab43f49ac2dbda102e4c0e6b0a87da358793c0 (diff) |
installer: Create bios_grub partition when it is needed.
* gnu/installer/parted.scm (auto-partition!): Only check for ESP on EFI
installations.
Diffstat (limited to 'gnu/installer.scm')
0 files changed, 0 insertions, 0 deletions