getting ready for pres

c33fb8d0829c… · Ryan Schanzenbacher ·

parent 2afb419d3d82… view tree

Changed files

FileChanges
deploy.sh +16 −0 raw
diff --git a/deploy.sh b/deploy.sh
index 07fc532..8de8177 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -86,6 +86,22 @@ install_user_env() {
}
+if [[ $* == *-p ]]
+then
+ echo "Installing non-guix signing keys for substitutes..."
+ curl -o sign-key.pub https://substitutes.nonguix.org/signing-key.pub
+ #curl -o sign-key-r.pub http://129.21.92.78:8000/signing-key.pub
+ #guix archive --authorize < sign-key.pub
+ #guix archive --authorize < sign-key-r.pub
+ guix time-machine -C ./channels.scm -- pull
+ exit 0
+elif [[ $* == *-i ]]
+then
+ gather_env
+ install_system
+ install_user_env
+fi
+
gather_env
copy_and_prepare
install_system