Thank you Karpinski and Sachs. It appears, that for now, a workaround outside Julia is the only way.
On Monday, March 21, 2016 at 6:54:22 PM UTC+5, Josef Sachs wrote: > > >>>>> On Mon, 21 Mar 2016 09:39:40 -0400, Stefan Karpinski said: > > > Could you just pipe the output of non-interactive Julia to the `tee` > > command? > > I'd still like to be able to pipe the output of non-non-interactive Julia. > > https://github.com/JuliaLang/julia/issues/14776 >
