<div dir="ltr">Merged to master. <div><br></div><div>Thanks a lot.</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, May 2, 2013 at 1:33 PM, Paul Barker <span dir="ltr"><<a href="mailto:paul@paulbarker.me.uk" target="_blank">paul@paulbarker.me.uk</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 1 May 2013 20:10, Andrei Gherzan <<a href="mailto:andrei@gherzan.ro">andrei@gherzan.ro</a>> wrote:<br>


> I think I asked Seth a while ago and he confirmed that bash was his shell. I<br>
> thought about dash as well. But as a matter of fact we should remove<br>
> bashisms and make things as usable as possible. So maybe his patch makes<br>
> sense after all.<br>
><br>
<br>
</div>Based on Paul Eggleton's reply elsewhere:<br>
<br>
On 2 May 2013 09:07, Paul Eggleton <<a href="mailto:paul.eggleton@linux.intel.com">paul.eggleton@linux.intel.com</a>> wrote:<br>
> On Wednesday 01 May 2013 19:13:19 seth bollinger wrote:<br>
>> 2.  I couldn't find a wildcard string search in dash.  Can anyone<br>
>> suggest a more shell agnostic way to do this?<br>
><br>
> AFAIK grep or awk is the only way.<br>
<br>
I think this patch probably does make sense.<br>
<div class="HOEnZb"><div class="h5"><br>
--<br>
Paul Barker<br>
<br>
Email: <a href="mailto:paul@paulbarker.me.uk">paul@paulbarker.me.uk</a><br>
<a href="http://www.paulbarker.me.uk" target="_blank">http://www.paulbarker.me.uk</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr"><div style="text-align:center"></div><div style="text-align:center"><div align="left" style="font-family:'Times New Roman';font-size:medium">

<b style="color:rgb(51,51,51);font-family:Arial;font-size:small;text-align:center">Andrei Gherzan</b><font face="Arial" color="#333333" size="-1"><br></font><font face="Arial" color="#333333" size="-1">m: +40.744.478.414 |  f: +40.31.816.28.12</font><br>

</div></div></div>
</div>