diff options
author | Marek Paśnikowski <marek@marekpasnikowski.pl> | 2024-01-14 09:51:15 +0100 |
---|---|---|
committer | Marek Paśnikowski <marek@marekpasnikowski.pl> | 2024-01-14 09:51:15 +0100 |
commit | 274d71de16bfe68b5157d76601ac8c725260e53d (patch) | |
tree | 41d36b557b90dd4c48373f1d415da7b167f40304 /izumi.org | |
parent | 4d4a42b57666d5aae7facd3327972236ad986cbb (diff) |
Enable work with remote configuration repository
Diffstat (limited to 'izumi.org')
-rw-r--r-- | izumi.org | 12 |
1 files changed, 9 insertions, 3 deletions
@@ -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 |