On 10Dec, 2017, at 03:59, Dirk Laurie <dirk.laurie@gmail.com> wrote:os.execute'echo -n "text ... "'
os.execute'echo -n "text ... "'