<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
</head>
<body>
<div style="font-family:sans-serif"><div style="white-space:normal">
<p dir="auto">On 3 Feb 2018, at 8:33, Martin Batholdy wrote:</p>
</div>
<div style="white-space:normal"><blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">Unfortunately, I have not found a fix for this behavior yet<br>
If anyone has experienced similar problems and found a workaround – I would highly appreciate it!</p>
</blockquote></div>
<div style="white-space:normal">
<p dir="auto">How about writing the text to a temporary file and then execute the file in terminal?</p>
<p dir="auto">You could do this with local echo enabled (<code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">set -x</code> for bash) so you can see what is actually being executed.</p>
</div>
</div>
</body>
</html>