diff options
-rwxr-xr-x | deploy.sh | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -61,12 +61,14 @@ copy_and_prepare() { | |||
61 | # Install the non-guix signing keys | 61 | # Install the non-guix signing keys |
62 | echo "Installing non-guix signing keys for substitutes..." | 62 | echo "Installing non-guix signing keys for substitutes..." |
63 | curl -o sign-key.pub https://substitutes.nonguix.org/signing-key.pub | 63 | curl -o sign-key.pub https://substitutes.nonguix.org/signing-key.pub |
64 | curl -o sign-key-r.pub http://129.21.92.78:8000/signing-key.pub | ||
64 | guix archive --authorize < sign-key.pub | 65 | guix archive --authorize < sign-key.pub |
66 | guix archive --authorize < sign-key-r.pub | ||
65 | } | 67 | } |
66 | 68 | ||
67 | install_system() { | 69 | install_system() { |
68 | echo "Beginning install!" | 70 | echo "Beginning install!" |
69 | guix time-machine -C ./channels.scm -- system -L ./modules --substitute-urls='https://substitutes.nonguix.org https://bordeaux.guix.gnu.org https://ci.guix.gnu.org' init $install_hostname.scm /mnt | 71 | guix time-machine -C ./channels.scm -- system -L ./modules --substitute-urls='https://substitutes.nonguix.org https://bordeaux.guix.gnu.org https://ci.guix.gnu.org http://129.21.92.78:8080' init $install_hostname.scm /mnt |
70 | } | 72 | } |
71 | 73 | ||
72 | install_user_env() { | 74 | install_user_env() { |
@@ -90,4 +92,4 @@ install_system | |||
90 | install_user_env | 92 | install_user_env |
91 | 93 | ||
92 | # Reboot the machine at this point! | 94 | # Reboot the machine at this point! |
93 | reboot | 95 | #reboot |