<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr">On Sat, Aug 11, 2018, 07:14 Dirk Hohndel <<a href="mailto:dirk@hohndel.org">dirk@hohndel.org</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
The fact that everywhere else we use the decimal value of VID/PID, but in <br>
that file we use hex really doesn't make it easier to find what could be wrong<br>
when you are searching for it.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Honestly, it's the "everywhere else we use decimal" that is just strange and wrong.</div><div dir="auto"><br></div><div dir="auto">USB IDs are pretty much always given in hex. Decimal values there are just really odd. I was wondering why you used them earlier.</div><div dir="auto"><br></div><div dir="auto">Every single tool that reports USB IDs that I've ever seen has used the hex format.</div><div dir="auto"><br></div><div dir="auto">    Linus</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>