Subject: Re: bug#26339: [PATCH v2 10/12] scripts: system: Adapt "init" to new bootloader API.

From: Mathieu Othacehe <[email-masked]>
Date: Sun, 23 Apr 2017 18:38:07 +0200

> Probably bad idea.  bootloader-configuration here is something else, right?

Yes it's the record name so it might be confusing :).

>
> Maybe bootloader-configuration-file.drv and bootloader-configuration-file-name ?

Ok I'll rename them.

Thanks,

Mathieu