<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Aug 11, 2018, at 10:03 AM, Linus Torvalds <<a href="mailto:torvalds@linux-foundation.org" class="">torvalds@linux-foundation.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="auto" class=""><div class=""><br class=""><br class=""><div class="gmail_quote"><div dir="ltr" class="">On Sat, Aug 11, 2018, 07:14 Dirk Hohndel <<a href="mailto:dirk@hohndel.org" class="">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 class="">
The fact that everywhere else we use the decimal value of VID/PID, but in <br class="">
that file we use hex really doesn't make it easier to find what could be wrong<br class="">
when you are searching for it.<br class=""></blockquote></div></div><div dir="auto" class=""><br class=""></div><div dir="auto" class="">Honestly, it's the "everywhere else we use decimal" that is just strange and wrong.</div><div dir="auto" class=""><br class=""></div><div dir="auto" class="">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" class=""><br class=""></div><div dir="auto" class="">Every single tool that reports USB IDs that I've ever seen has used the hex format.</div></div></div></blockquote><br class=""></div><div>I need to check if device_filter.xml is smart enough to understand hex.</div><div>Frankly, I just followed what was used there.</div><div>Yes, hex would be better. But all decimal is better than some decimal and some hex</div><div><br class=""></div><div>Just my $0.03</div><div><br class=""></div><div>/D</div><br class=""></body></html>