I dare to raise an old topic :) It seemed to me that this patch already applied, but recently discovered that it is not. As far as I understand we can't do a strict requirement to use Augeas >= 1.7.0. But initially, the patch solves another problem. If we still can't do a hard requirement for Augeas, let's use workaround proposed by Pino: let () = (* Apply the "grub" lens if it is not handling the file * already -- Augeas < 1.7.0 will error out otherwise. *) if g#aug_ls ("/files" ^ grub_config) = [||] then g#aug_transform "grub" grub_config in As a temporary solution looks fine. Pavel Butsykin (1): v2v: bootloaders: search grub config for all distributions v2v/linux_bootloaders.ml | 86 +++++++++++++++++++++++++++++++----------------- 1 file changed, 55 insertions(+), 31 deletions(-) -- 2.11.0