diff options
author | Marek Paśnikowski <marekpasnikowski@pm.me> | 2023-12-26 06:01:44 +0100 |
---|---|---|
committer | Marek Paśnikowski <marekpasnikowski@pm.me> | 2023-12-26 06:01:44 +0100 |
commit | 1698e82f10534da222c46f92be066fcae8dd0ce8 (patch) | |
tree | 1e6e51ad963aaf06778f0bddbeaf1af632f1b06e /izumi.org | |
parent | 681bbd1d8a1b67b2c3d7828c4d5344970062682e (diff) |
Use git -C to actually pull updates
Diffstat (limited to 'izumi.org')
-rw-r--r-- | izumi.org | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -797,26 +797,28 @@ #+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 --rebase=true " + "git -C " configuration-prefix + " pull " and "guix home reconfigure " configuration-prefix - "home-configuration.scm")) + "home-configuration.scm ")) (reconfigure-system (string-append - "git pull --rebase=true " + "git -C " configuration-prefix + " pull " and "sudo guix system reconfigure " configuration-prefix - "system-configuration.scm")) + "system-configuration.scm ")) (update-system (string-append pull-guix |