<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 12 August 2016 at 14:15, Ioan-Adrian Ratiu <span dir="ltr"><<a href="mailto:adrian.ratiu@ni.com" target="_blank">adrian.ratiu@ni.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":xb" class="a3s aXjCH m1567ee6952b129ce">+PACKAGES =+ "<span class="il">grub</span>-editenv"<br>
+<br>
+FILES_grub-editenv = "${bindir}/<span class="il">grub</span>-editenv"</div></blockquote></div><br>Shouldn't grub rdepend, or at least rrecommend, grub-editenv?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Ross</div></div>