Reduce duplication in eic-shell script embedded install.sh #26
Description
Is your feature request related to a problem? Please describe.
There is a significant amount of duplication here, but it is pre-existing.
Describe the solution you'd like
In order to not make duplication worse, we should split off the embedded eic-shell heredocs into separate files and read them in with envsubst. We should modify the CI workflow to publish a complete single install.sh at the current path.