summaryrefslogtreecommitdiff
path: root/izumi.org
diff options
context:
space:
mode:
authorMarek Paśnikowski <marek@marekpasnikowski.pl>2024-01-14 09:51:15 +0100
committerMarek Paśnikowski <marek@marekpasnikowski.pl>2024-01-14 09:51:15 +0100
commit274d71de16bfe68b5157d76601ac8c725260e53d (patch)
tree41d36b557b90dd4c48373f1d415da7b167f40304 /izumi.org
parent4d4a42b57666d5aae7facd3327972236ad986cbb (diff)
Enable work with remote configuration repository
Diffstat (limited to 'izumi.org')
-rw-r--r--izumi.org12
1 files changed, 9 insertions, 3 deletions
diff --git a/izumi.org b/izumi.org
index 9a1518c..954d034 100644
--- a/izumi.org
+++ b/izumi.org
@@ -795,20 +795,26 @@
#+NAME: HOME-BASH-SERVICE-TYPE
#+BEGIN_SRC scheme
(let*
- ((and "&& ")
+ ((and " && ")
(collect-garbage "sudo guix gc -d 7d ")
(configuration-prefix "/home/marek/src/izumi/")
(pull-guix "guix pull ")
(reconfigure-home
(string-append
+ "git pull "
+ configuration-prefix
+ and
"guix home reconfigure "
configuration-prefix
- "home-configuration.scm "))
+ "home-configuration.scm"))
(reconfigure-system
(string-append
+ "git pull "
+ configuration-prefix
+ and
"sudo guix system reconfigure "
configuration-prefix
- "system-configuration.scm "))
+ "system-configuration.scm"))
(update-system
(string-append
pull-guix