On Tue, Jun 7, 2016 at 7:28 AM, Paulgir <paulgir at gmail.com> wrote: > There's no need for an exit line at the end of this? Correct, the 'exit' is redundant, as that's what the script will do when it hits the bottom anyway.