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/build | |
| 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/build')
0 files changed, 0 insertions, 0 deletions