<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Apr 10, 2013 at 4:51 PM, Hans de Goede <span dir="ltr"><<a href="mailto:hdegoede@redhat.com" target="_blank">hdegoede@redhat.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id=":23v">Only one remark, do we really want to prefix all the tools with "spicy",<br>

wouldn't just "spice" as prefix be better ?</div></blockquote></div><br></div>I just opted for something uniform, so all binaries installed by spice-gtk will have spicy prefix Having different name can make it harder to find in which package it belongs. I have no strong feeling, I wished nobody would really care, since it's an obscure tool.<br>
<div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">-- <br>Marc-André Lureau
</div></div>