I now have a file called 'seti.command' that I just double-click and the whole thing is taken care of. Since I've discovered this I've made a number of shell scripts that I can just double-click ...

It used to be one of the joys of writing embedded software was never having to deploy shell scripts. But now with platforms like the Raspberry Pi becoming very common, Linux shell scripts can be a ...