On 10Dec, 2017, at 03:59, Dirk Laurie <[email protected]> wrote:os.execute'echo -n "text ... "'
os.execute'echo -n "text ... "'