<div dir="ltr">Hi<br><div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Oct 3, 2014 at 7:12 PM, Jakub Jelinek <span dir="ltr"></span>wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
</div></div>But why?  Seriously, bash has lots of nice extensions, are you going in this<br>
quest to stop using extensions<br></blockquote><div> <br></div><div>You seem to have misread what I said.   Bash is great and I love some of the extensions but if you want to use bash, just make sure you have !/usr/bin/bash on your shell scripts and not !/bin/sh.  That&#39;s all<br><br></div><div>Rahul.<br></div></div></div></div></div>