[Swan-dev] should final.sh shut down pluto?

[D. Hugh Redelmeier]

| From: Paul Wouters <paul at nohats.ca>

| I agree that "init" and "run" are artifical names and if we support
| numbers, we might as well get rid of those identifiers.

If a name represents real information then it might convey it better
to a reader than a number.  If it is, in fact, misleading, then it
would be good to get rid of it.

My impression is that right now the names are reasonable but enough
cheating has gone on that they are sometimes misleading.

================

Is there any way would could offload some of this stuff to some off
the shelf "orchestration" software?  That software is all the rage
these days.

================

I have the impression that some of the scripts do boilerplate work
that might be better centralized.  Perhaps in the script runner.
Perhaps in some kind of library of scripts that can be invoked from
within the individual scripts.