diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/generator.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/generator.ml b/src/generator.ml index 04445ee6..ba97debe 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -1683,6 +1683,15 @@ How many blocks are zeroed isn't specified (but it's I<not> enough to securely wipe the device). It should be sufficient to remove any partition tables, filesystem superblocks and so on."); + ("grub_install", (RErr, [String "root"; String "device"]), 86, [], + [InitBasicFS, TestOutputTrue ( + [["grub_install"; "/"; "/dev/sda1"]; + ["is_dir"; "/boot"]])], + "install GRUB", + "\ +This command installs GRUB (the Grand Unified Bootloader) on +C<device>, with the root directory being C<root>."); + ] |