infra-infra Hackerspace infrastructure redundancy infrastructure To deploy, run ./deploy.sh switch <host>, where host is core, musicpi, musicpi2.