
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 6 Aug 2020, at 8:02 pm, Ken Cunningham <<a href="mailto:ken.cunningham.webuse@gmail.com" class="">ken.cunningham.webuse@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">category-only identifier is<br class=""><br class="">less clear and less obvious<br class="">harder to remember how to search for<br class="">name conflicts with a non-binary version (eg for newer systems that can build it)<br class=""><br class="">so far, name-suffix is winning on all fronts...with no downsides yet.<br class=""></div></div></blockquote><div><br class=""></div>For you maybe…</div><div><br class=""></div><div>For me, the port category is clearly the better approach. I fail to see how</div><div><br class=""></div><div>port echo category:binary and installed</div><div><br class=""></div><div>is any harder to run than</div><div><br class=""></div><div><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">port -v installed | grep binar</span></div><div><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">If anything, your suggestion involves the use of a pipe and secondary command (grep) so could be argued to be more complicated.</span></font></div><div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font></div><div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">FWIW, I dislike the proposal of using the port name here, if we are going to do this, when there is already a mechanism in macports (the categories) for exactly this use case.</span></font></div><div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font></div><div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Chris</span></font></div><div><br class=""></div><div><blockquote type="cite" class=""><div class=""><div class=""><br class="">K</div></div></blockquote></div><br class=""></body></html>