<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Feb 9, 2016 at 12:08 PM, Dahlberg, David <span dir="ltr"><<a href="mailto:david.dahlberg@fkie.fraunhofer.de" target="_blank">david.dahlberg@fkie.fraunhofer.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Am Samstag, den 06.02.2016, 20:28 +0100 schrieb Jason A. Donenfeld:<br>
<br>
> Perhaps you could work around this by providing a platform file for<br>
> openbsd?<br>
<br>
We spoke already about this. The problem is that that those "-v" options<br>
are virtually everywhere and you need some kind of hook, if you want to<br>
modify it in the plattform.sh. <br>
<br>
IMHO the "$shred/$getopt" approach is useless here, since the "-v"<br>
modification applies to all of the following tools: cp, mv, mkdir, mv<br>
and rm. <br>
Additionally "grep --color=always".<br>
<br>
I'd rather suggest something like "$verbose_flag" and "$color_flag"<br>
which could be unset in platform.sh.<br></blockquote><div><br></div><div>Another solution that may work, is to provide a platform file that redefines</div><div>the tools/commands that are different. For example:</div><div><br></div><div>function cp() {</div><div>    local opts="$@"</div><div>    # remove -v from options, if it is there</div><div>    # . . . . . </div><div>    "$(which cp)" "$opts"</div><div>}</div><div><br></div><div>Do something similar for `mv`, `mkdir`, `grep`, etc.</div><div>It may be an ugly solution, but... what can be a better alternative?</div><div><br></div><div>Cheers,</div><div>Dashamir</div><div><br></div></div></div></div>