GitLab

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.