<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>I don't like that the behaviour of a command line depends on the configuration of the user (that is usually not aware of). So a command that works for me doesn't work for you. That is bad.</div></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">+1</div></div>