<div dir="ltr">Reconverted to use a different argument for the userconf option.<br><br><div class="gmail_quote"><div dir="ltr">On Thu, Jun 2, 2016 at 5:18 PM <a href="mailto:shankao@gmail.com">shankao@gmail.com</a> <<a href="mailto:shankao@gmail.com">shankao@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I can change it to a different argument. It may be more readable too<br>
<br>
> &gt; Yes, looks good, thanks. &gt; Does that work? It seems somewhat suspicious to combine the -userconf and -conf options into a single argument.<br>
</blockquote></div></div>