From 5dd6470437113f24cc7934f3a47f911fb768a328 Mon Sep 17 00:00:00 2001
From: Andrew Tropin <andrew@trop.in>
Date: Tue, 31 May 2022 15:55:47 +0300
Subject: [PATCH] rde: Add install operating-system with substitute mirror.

Mostly useful for people, who have restricted access to ci.guix.gnu.org.
---
 rde/system/install.scm | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 rde/system/install.scm

diff --git a/rde/system/install.scm b/rde/system/install.scm
new file mode 100644
index 00000000..43f1101f
--- /dev/null
+++ b/rde/system/install.scm
@@ -0,0 +1,18 @@
+(define-module (rde system install)
+  #:use-module (gnu)
+  #:use-module (gnu system)
+  #:use-module (gnu system install))
+
+(define guix-with-substitute-mirror
+  (operating-system
+    (inherit installation-os)
+    (services
+     (modify-services (operating-system-user-services installation-os)
+      (guix-service-type
+       config =>
+       (guix-configuration
+        (inherit config)
+        (substitute-urls '("http://ci.guix.trop.in"
+                           "https://bordeaux.guix.gnu.org"))))))))
+
+guix-with-substitute-mirror
-- 
2.45.2