-
Charles Ferguson authored
The shell + python output looked very untidy because the indentation was very wrong. Really we could do with using one of the exec formats to handle the output instead of merely piping outputs. But for now this does the job.
2f4509bc